info:eu-repo/semantics/article
Topological representation for monadic implication algebras
Fecha
2009-01-17Registro en:
Abad, Manuel; Cimadamore, Cecilia Rossana; Díaz Varela, José Patricio; Topological representation for monadic implication algebras; De Gruyter; Central European Journal of Mathematics - (Online); 7; 2; 17-1-2009; 299-309
1895-1074
1644-3616
CONICET Digital
CONICET
Autor
Abad, Manuel
Cimadamore, Cecilia Rossana
Díaz Varela, José Patricio
Resumen
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.