[FOM] FOL reduced to equational logic
Richard Grandy
rgrandy at rice.edu
Mon Nov 14 19:10:03 EST 2005
Another book that is to be recommended is *Logic
in Algebraic Form* by Bill Craig.
>H Z <hzenilc at gmail.com> wrote on Fri, 11 Nov 2005 18:34:36 +0100:
>> I have a question about if it is possible (and how) to translate any
>> first order formula to equational logic. And if some of you can add
>> some references to the subject.
>
>Yes, there are various methods. Check e.g.
>
>Tarki & Givant, A formalization of set theory without variables, AMC Coll.
>Publ., Vol. 41 (1987)
>
>--
>Highspeed-Freiheit. Bei GMX superg¸nstig, z.B. GMX DSL_Cityflat,
>DSL-Flatrate f¸r nur 4,99 Euro/Monat* http://www.gmx.net/de/go/dsl
>
>
>!DSPAM:4379237a238982118183!
>
>_______________________________________________
>FOM mailing list
>FOM at cs.nyu.edu
>http://www.cs.nyu.edu/mailman/listinfo/fom
>
>
>!DSPAM:4379237a238982118183!
More information about the FOM
mailing list