[FOM] FOL reduced to equational logic
hzenilc at gmail.com
Fri Nov 11 12:34:36 EST 2005
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.
On the other hand, I would like to know if you have some references
also on complexity related to the size of proofs depending on the set
of axioms arbitrary chosen.
Thanks in advance,
More information about the FOM