On some connections between Boolean algebras and Heyting algebras
Dimitrii E. Pal'chunov, Alain Touraille (1992)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Displaying similar documents to “The theory of boolean algebras with a distinguished subalgebra is undecidable”
On some connections between Boolean algebras and Heyting algebras
Counterexamples in minimally generated Boolean algebras
Sabine Koppelberg (1988)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
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.
Natural equational bases for Newman and boolean algebras
F. M. Sioson (1965-1966)
Compositio Mathematica
Similarity:
Boolean part of BL-algebras
Radim Bělohlávek (2003)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity: