CIEM 05476
CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Algebraically expandable classes of implication algebras
Autor/es:
CAMPERCHOLI MIGUEL; VAGGIONE DIEGO
Lugar:
Buenos Aires
Reunión:
Congreso; International Conference Residuated Structures: Algebra and Logic; 2008
Resumen:
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.
