[FOM] FOL reduced to equational logic
legor at gmx.de
Mon Nov 14 06:08:45 EST 2005
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
More information about the FOM