Discrete dualities for double Stone algebras

DOI10.1007/s11225-011-9349-8zbMath1230.06005OpenAlexW2013296559MaRDI QIDQ647401

Ewa S. Orłowska, Ivo Duentsch

Publication date: 23 November 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9349-8

zbMATH Keywords

Brouwer-Heyting logicdiscrete dualitydistributive lattices with operatorsdouble Stone algebras

Mathematics Subject Classification ID

Lattices and duality (06D50) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15)

Related Items (4)

Duality results for (co)residuated lattices ⋮ Discrete duality for 3-valued Łukasiewicz–Moisil algebras ⋮ Algebraic Representation, Dualities and Beyond ⋮ Stone algebras: 3-valued logic and rough sets

Cites Work

• A logic for rough sets
• Perfect extensions of regular double Stone algebras
• A regular variety of type \(<2,2,1,1,0,0>\)
• On a problem of M. H. Stone
• Discrete Duality for Relation Algebras and Cylindric Algebras
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Stone lattices: a topological approach
• Relational Representation Theorems for General Lattices with Negations
• Stone algebras form an equational class: (Remarks on Lattice Theory III)
• Stone Lattices. II. Structure Theorems
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Duality via Truth: Semantic frameworks for lattice-based logics
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Discrete dualities for double Stone algebras