Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
DOI10.2307/1997544zbMATH Open0319.06007OpenAlexW4252242256MaRDI QIDQ4081295FDOQ4081295
Publication date: 1976
Full work available at URL: https://doi.org/10.2307/1997544
Many-valued logic (03B50) Free algebras (08B20) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Structure and representation theory of distributive lattices (06D05) Topological representations of algebraic systems (54H10) Logical aspects of Boolean algebras (03G05) Varieties (08B99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representation of Distributive Lattices by means of ordered Stone Spaces
- The Theory of Representation for Boolean Algebras
- The Pontryagin duality of compact O-dimensional semilattices and its applications
- Stone lattices
- On a problem of M. H. Stone
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Algebras Whose Congruence Lattices are Distributive.
- Equational Classes of Distributive Pseudo-Complemented Lattices
- The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition
- The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
- Some annihilator conditions on distributive lattices
- Projective topological spaces
- Stonesche Verbände der Ordnung \(n\) und Postalgebren
- Injective and Projective Heyting Algebras
- The Lattice Theory of Post Algebras
- Equational classes of relative Stone algebras
- Free L-algebras
- Normal lattices
- Logic with truth values in A linearly ordered heyting algebra
- Implicative Semi-Lattices
- Varieties of monadic Heyting algebras. III
- Relative annihilators in lattices
- Stone lattices: a topological approach
- Free Heyting algebras
- Congruence Relations in Direct Products
- The Structure of Pseudocomplemented Distributive Lattices. III: Injective and Absolute Subretracts
- Injectivity in Equational Classes of Algebras
- Post-like algebras and injective Stone algebras
- Free distributive pseudo-complemented lattices
- Remarks on the W.C. Nemitz's paper 'Semi-Boolean lattices'
- Injective and projective Stone algebras
- Injective Hulls of Stone Algebras
- Chain Conditions in the Distributive Free Product of Lattices
- On the Existence of Free Structures over Universal Classes
Cited In (23)
- Piggyback-Dualitäten
- Equational axioms for classes of Heyting algebras
- A representation theory for the variety generated by the triangle
- Natural dualities for varieties of BL-algebras
- Heyting algebras with Boolean operators for rough sets and information retrieval applications
- Priestley duality for bilattices
- Coproducts of distributive lattice-based algebras.
- Varieties of interlaced bilattices
- Topological duality for distributive Ockham algebras
- Injective uniform structures
- Bjarni Jónsson's contributions in algebra
- Paraconsistent modal logics
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Gödel algebras: interactive dualities and their applications.
- Injectivity and Boolean powers
- Endoprimal distributive lattices are endodualisable
- Compatible relations on Heyting chains
- Bilattices with implications
- Optimal natural dualities for varieties of Heyting algebras
- Natural dualities in partnership
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras
- Finiteness based results in BL-algebras
This page was built for publication: Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4081295)