Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
From MaRDI portal
Publication:4081295
DOI10.2307/1997544zbMath0319.06007OpenAlexW4252242256MaRDI QIDQ4081295
Publication date: 1976
Full work available at URL: https://doi.org/10.2307/1997544
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Structure and representation theory of distributive lattices (06D05) Many-valued logic (03B50) Free algebras (08B20) Logical aspects of Boolean algebras (03G05) Varieties (08B99) Topological representations of algebraic systems (54H10)
Related Items (23)
Bjarni Jónsson's contributions in algebra ⋮ Endoprimal distributive lattices are endodualisable ⋮ Optimal natural dualities for varieties of Heyting algebras ⋮ Bilattices with implications ⋮ Piggyback-Dualitäten ⋮ 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 ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ Injective uniform structures ⋮ Varieties of interlaced bilattices ⋮ Priestley duality for bilattices ⋮ Coproducts of distributive lattice-based algebras. ⋮ Compatible relations on Heyting chains ⋮ Gödel algebras: interactive dualities and their applications. ⋮ Heyting algebras with Boolean operators for rough sets and information retrieval applications ⋮ Equational axioms for classes of Heyting algebras ⋮ Injectivity and Boolean powers ⋮ Paraconsistent Modal Logics ⋮ A representation theory for the variety generated by the triangle ⋮ Topological duality for distributive Ockham algebras ⋮ Natural dualities for varieties of BL-algebras ⋮ Finiteness based results in BL-algebras
Cites Work
- Projective topological spaces
- Some annihilator conditions on distributive lattices
- Post-like algebras and injective Stone algebras
- The Pontryagin duality of compact O-dimensional semilattices and its applications
- Varieties of monadic Heyting algebras. III
- Free Heyting algebras
- Free distributive pseudo-complemented lattices
- Remarks on the W.C. Nemitz's paper 'Semi-Boolean lattices'
- Relative annihilators in lattices
- Stone lattices
- Equational classes of relative Stone algebras
- Injective and projective Stone algebras
- Stonesche Verbände der Ordnung \(n\) und Postalgebren
- On a problem of M. H. Stone
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Stone lattices: a topological approach
- Implicative Semi-Lattices
- On the Existence of Free Structures over Universal Classes
- Algebras Whose Congruence Lattices are Distributive.
- Logic with truth values in A linearly ordered heyting algebra
- Free L-algebras
- Injective Hulls of Stone Algebras
- Chain Conditions in the Distributive Free Product of Lattices
- Injective and Projective Heyting Algebras
- Representation of Distributive Lattices by means of ordered Stone Spaces
- The Lattice Theory of Post Algebras
- Congruence Relations in Direct Products
- 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
- Normal lattices
- Injectivity in Equational Classes of Algebras
- The Structure of Pseudocomplemented Distributive Lattices. III: Injective and Absolute Subretracts
- The Theory of Representation for Boolean Algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras