Displaying similar documents to “Semi-Boolean algebras and their applications to intuitionistic logic with dual operations”

Topological representation for monadic implication algebras

Abad Manuel, Cimadamore Cecilia, Díaz Varela José (2009)

Open Mathematics

Similarity:

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.