CIEM 05476
CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Unidad Ejecutora - UE
artículos
Título:
Algebraically expandable classes of implication algebras
Autor/es:
CAMPERCHOLI, MIGUEL
Revista:
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION
Editorial:
WORLD SCIENTIFIC PUBL CO PTE LTD
Referencias:
Año: 2010 vol. 20 p. 605 - 617
ISSN:
0218-1967
Resumen:
An algebraically expandable class is a class of algebras axiomatizable by a set of sentences of the form (A)(E)!&p=q. We find all algebraically expandable classes in the variety of implication algebras. A representation result for finite implication algebras is proved, and we also give a characterization of the class of congruence permutable implication algebras.
