[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