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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: