Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

Topological representation for monadic implication algebras

Abad ManuelCimadamore CeciliaDíaz Varela José — 2009

Open Mathematics

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.

Page 1

Download Results (CSV)