Finite Schematizable Algebraic Logic
Finite Schematizable Algebraic Logic
Ildiko Sain, Viktor Gyuris:
Finite Schematizable Algebraic Logic
In this work, we attempt to circumvent three (more or less) equivalent
negative results. These are (i) non--axiomatizability (by any finite schema)
of the valid formula schemas of first order logic, (ii) non--axiomatizability
(by finite schema) of any propositional logic equivalent with classical first
order logic (i.e., modal logic of quantification and substitution), and (iii)
non--axiomatizability (by finite schema) of the class of representable
cylindric algebars (i.e, of the algebraic counterpart of first order logic).
Herein, two finite schema axiomatizable classes of algebras are shown that
contain as a reduct the class of representable quasi--polyadic algebras and
the class of representable cylindric algebras, respectively. We present
positive results in the direction of finitary algebraization of first order
logic without equality as well as that with equality. Finally, we will
indicate how these constructions can be applied to turn negative results (i),
(ii) above to positive ones.