Duality Theories for Boolean Algebras with Operators

DOI10.1007/978-3-319-06743-8zbMath1316.03039OpenAlexW578948905MaRDI QIDQ5419017

Steven Givant

Publication date: 4 June 2014

Published in: Springer Monographs in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06743-8

zbMATH Keywords

Boolean algebraStone dualityBoolean spacecanonical extensionBoolean algebra with operatorsdiscrete duality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Stone spaces (Boolean spaces) and related structures (06E15) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Paraconsistent logics (03B53) Natural dualities for classes of algebras (08C20) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items (5)

Ultraproducts of continuous posets ⋮ On Ehresmann semigroups ⋮ Formalising basic topology for computational logic in simple type theory ⋮ Complete and atomic Tarski algebras ⋮ Beth Definability in the Logic KR

This page was built for publication: Duality Theories for Boolean Algebras with Operators