Relational semantics for normal topological quasi-Boolean logic

DOI10.1007/978-3-031-26689-8_15MaRDI QIDQ6132581

No author found.

Publication date: 17 August 2023

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

zbMATH Keywords

relational semanticsfinite model propertyquasi-Boolean algebratopological quasi-Boolean algebra

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic structures in the vicinity of pre-rough algebra and their logics
• Prime spectrum of a tetravalent modal algebra
• Classical modal De Morgan algebras
• An algebraic approach to non-classical logics
• Positive modal logic
• Belnap-Dunn modal logic with value operators
• Belnap's Four-Valued Logic and De Morgan Lattices
• An abstract algebraic logic approach to tetravalent modal logics
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
• Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability

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