A duality for Boolean algebras with operators
From MaRDI portal
Publication:585240
DOI10.1007/BF01194512zbMath0524.06022MaRDI QIDQ585240
Publication date: 1983
Published in: Algebra Universalis (Search for Journal in Brave)
dualitycategory of Boolean algebrascategory of multialgebrasextension and representation theorems for Boolean algebras with operators
Related Items
Bjarni Jónsson's contributions in algebra ⋮ Subalgebras of closure algebras ⋮ Towards automating duality ⋮ Decision problems for distributive lattice-ordered semigroups ⋮ Varieties of complex algebras ⋮ Priestley duality for some subalgebra lattices ⋮ Duality for algebras of relevant logics ⋮ Shuffle products and other operations in the class of primitive spaces ⋮ Duality for modal \(\mu\)-logics ⋮ Natural duality, modality, and coalgebra ⋮ A Category of Ordered Algebras Equivalent to the Category of Multialgebras ⋮ STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ Remarks on Priestley duality for distributive lattices ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory ⋮ Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic ⋮ Finite congruence-distributive P.O. systems ⋮ A Duality for Algebras of Lattice-Valued Modal Logic ⋮ Duality between modal algebras and neighbourhood frames
Cites Work
- A topological representation theory for lattices
- Homomorphisms and subalgebras of multialgebras
- Structure Diagrams for Primitive Boolean Algebras
- Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Compact zero-dimensional metric spaces of finite type
- The Theory of Representation for Boolean Algebras
- Topological representations of distributive lattices and Brouwerian logics
- Boolean Algebras with Operators. Part I
- Unnamed Item
- Unnamed Item