Discrete dualities for double Stone algebras

DOI10.1007/S11225-011-9349-8MaRDI QIDQ647401zbMATH OpenOpenAlexFDO

Authors Ivo Düntsch, Ewa Orłowska

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

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

Recommendations

• Discrete duality for De Morgan algebras with operators
• Dualities for structures of applied logics
• scientific article; zbMATH DE number 2115764
• Algebras for Galois-style connections and their discrete duality
• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras

Cites work

• A logic for rough sets
• A regular variety of type \(<2,2,1,1,0,0>\)
• Boolean Algebras with Operators. Part I
• Canonical extensions of Stone and double Stone algebras: the natural way
• Discrete duality for relation algebras and cylindric algebras
• Duality via Truth: Semantic frameworks for lattice-based logics
• scientific article; zbMATH DE number 3643235 (Why is no real title available?)
• scientific article; zbMATH DE number 475188 (Why is no real title available?)
• scientific article; zbMATH DE number 708663 (Why is no real title available?)
• scientific article; zbMATH DE number 3280042 (Why is no real title available?)
• scientific article; zbMATH DE number 3039729 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• On a problem of M. H. Stone
• Perfect extensions of regular double Stone algebras
• Relational Representation Theorems for General Lattices with Negations
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Rough relation algebras revisited
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Stone algebras form an equational class: (Remarks on Lattice Theory III)
• Stone lattices: a topological approach
• Stone Lattices. II. Structure Theorems

Cited in

(20)

• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
• Stone algebras: 3-valued logic and rough sets
• Duality results for (co)residuated lattices
• Involutive Stone algebras and regular -De Morgan algebras
• Discrete duality for 3-valued Łukasiewicz-Moisil algebras
• Algebraic representation, dualities and beyond
• Dualities for structures of applied logics
• Discrete duality for relation algebras and cylindric algebras
• scientific article; zbMATH DE number 3557851 (Why is no real title available?)
• Discrete duality for De Morgan algebras with operators
• Discrete dualities for groupoids
• A semantic analysis of Stone and dual Stone negations with regularity
• Knowledge algebras and their discrete duality
• Granular knowledge and rational approximation in general rough sets – I
• Cut-elimination theorems for some logics associated with double stone algebras
• A categorical analysis of compatibility frames
• T-rough symmetric Heyting algebras with tense operators
• A 4-valued logic for double Stone algebras
• Double Stone algebras associated with a topology
• Algebras for Galois-style connections and their discrete duality

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647401)