Algebraically expandable classes of implication algebras

CAMPERCHOLI MIGUEL; VAGGIONE DIEGO

Buenos Aires

Conferencia; International Conference Residuated Structures: Algebra and Logic; 2008

    In this work we solve the following problem:    Characterize the subclasses of implication algebras that can be axiomatized by sentences of the form ∀∃!∧p=q.    In the process we obtain a representation result for finite implication algebras, and as a by-product of our solution a number of interesting classes of implication algebras arise. We also obtain a characterization of the congruence permutable implication algebras.