[FOM] FOL reduced to equational logic

Lew Gordeew 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 mailing list