Relational semantics for normal topological quasi-Boolean logic

DOI10.1007/978-3-031-26689-8_15MaRDI QIDQ6132581zbMATH OpenFDO

Authors

Publication date 17 August 2023

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-26689-8_15

zbMATH Keywords

finite model propertyquasi-Boolean algebrarelational semanticstopological quasi-Boolean algebra

Mathematics Subject Classification ID

General logic (03Bxx) Logic in artificial intelligence (68T27)

Recommendations

• Algebraic semantics for quasi-classical modal logics
• scientific article; zbMATH DE number 1814847
• Topology and duality in modal logic
• Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras

Cites work

• Algebraic structures in the vicinity of pre-rough algebra and their logics
• An abstract algebraic logic approach to tetravalent modal logics
• An algebraic approach to non-classical logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Belnap-Dunn modal logic with value operators
• Belnap-Dunn modal logics: truth constants vs. truth values
• Classical modal De Morgan algebras
• scientific article; zbMATH DE number 994054 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Modal logic
• Modal logics with Belnapian truth values
• Notes on the representation of distributive modal algebras
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Prime spectrum of a tetravalent modal algebra
• Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability

Cited in

(2)

• Algebraic and topological semantics for inquisitive logic via choice-free duality
• Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras

This page was built for publication: Relational semantics for normal topological quasi-Boolean logic

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