Coproducts of De Morgan algebras
From MaRDI portal
Publication:4094903
DOI10.1017/S0004972700022966zbMath0329.06005MaRDI QIDQ4094903
William H. Cornish, Peter R. Fowler
Publication date: 1977
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Structure and representation theory of distributive lattices (06D05) Free algebras (08B20) Logical aspects of Boolean algebras (03G05) Topological representations of algebraic systems (54H10)
Related Items
THE LATTICE OF SUPER-BELNAP LOGICS ⋮ De Morgan algebras are universal ⋮ Reductio ad contradictionem: an algebraic perspective ⋮ The class of Kleene algebras satisfying an interpolation property and Nelson algebras ⋮ A preliminary study of MV-algebras with two quantifiers which commute ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ A duality for two-sorted lattices ⋮ Birkhoff-like sheaf representation for varieties of lattice expansions ⋮ Semi-De Morgan algebras ⋮ A simplified duality for implicative lattices and \(l\)-groups ⋮ Congruence properties of pseudocomplemented De Morgan algebras ⋮ Congruence relations on De Morgan algebras ⋮ Restricted Priestley dualities and discriminator varieties ⋮ An algebraic view of super-Belnap logics ⋮ Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Logics of upsets of De Morgan lattices ⋮ A topological duality for monadic MV-algebras ⋮ A Topological Approach to Tense LMn×m-Algebras ⋮ Priestley duality for bilattices ⋮ Checking Admissibility Using Natural Dualities ⋮ Coproducts of distributive lattice-based algebras. ⋮ The axiomatizability of topological prevarieties ⋮ Counting relations on Ockham algebras. ⋮ On \(n \times m\)-valued Łukasiewicz-Moisil algebras ⋮ Perfect extensions of de Morgan algebras ⋮ On Kleene algebras ⋮ Congruence permutable Kleene-Stone algebras ⋮ Varieties of regular pseudocomplemented De Morgan algebras ⋮ Uniqueness of the implication for totally ordered MV-algebras ⋮ Unnamed Item ⋮ Applications of Priestley duality in transferring optimal dualities ⋮ Priestley duality for paraconsistent Nelson's logic ⋮ Existentially closed de Morgan algebras ⋮ Unification and projectivity in De Morgan and Kleene algebras. ⋮ The Priestley duality for Wajsberg algebras ⋮ A new topological duality for n × m-valued Łukasiewicz–Moisil algebras ⋮ Guarded cubical type theory ⋮ On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Residually small varieties
- Injective de Morgan and Kleene Algebras
- Compactness of the clopen topology and applications to ideal theory
- Lattices With Involution
- The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
- Free products of bounded distributive lattices