Artículo
Topological representation for implication algebras
Fecha de publicación:
11/2004
Editorial:
Birkhauser Verlag Ag
Revista:
Algebra Universalis
ISSN:
0002-5240
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
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 Bo(A), called the Boolean closure of A. From this representation we obtain a notion of topological implication space and we give a dual equivalence based in the Stone representation for Boolean algebras. As an application we provide the implication space of all free implication algebras.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(INMABB)
Articulos de INST.DE MATEMATICA BAHIA BLANCA (I)
Articulos de INST.DE MATEMATICA BAHIA BLANCA (I)
Citación
Abad, Manuel; Díaz Varela, José Patricio; Torrens, Antoni; Topological representation for implication algebras; Birkhauser Verlag Ag; Algebra Universalis; 52; 1; 11-2004; 39-48
Compartir
Altmétricas