[FOM] FOL reduced to equational logic

H Z hzenilc at gmail.com
Fri Nov 11 12:34:36 EST 2005


Hi all,

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,

Hector Zenil



More information about the FOM mailing list