INVESTIGADORES
DIAZ VARELA Jose Patricio
artículos
Título:
Topological representation for implication algebras
Autor/es:
ABAD MANUEL; DIAZ VARELA JOSE PATRICIO; TORRENS ANTONI
Revista:
ALGEBRA UNIVERSALIS
Editorial:
Springer Verlag
Referencias:
Lugar: Basel Switzerland ; Año: 2004 vol. 52 p. 39 - 48
ISSN:
0002-5240
Resumen:
In this paper we give a description of an implication algebra $A$ as a union of a unique family of filters of a suitable Boolean algebra $mathbf{Bo}(A)$, called the {em Boolean closure} of$A$. From this representation we obtain a notion of topological implicationspace and we give a dual equivalence based in the Stone representation forBoolean algebras. As an application we provide the implication space of all freeimplication algebras.
