Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras

DOI10.1007/978-3-319-99368-3_24zbMath1528.03139OpenAlexW2886133605MaRDI QIDQ6104461

Minghui Ma, Mihir Kumar Chakraborty, Zhe Lin

Publication date: 28 June 2023

Published in: Rough Sets (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Logical aspects of Boolean algebras (03G05)

Related Items (2)

Rough concepts ⋮ Proper multi-type display calculi for rough algebras

Cites Work

• Algebraic structures in the vicinity of pre-rough algebra and their logics
• Handbook of philosophical logic. Vol. 8
• An algebraic approach to non-classical logics
• Algebraic structures in the vicinity of pre-rough algebra and their logics. II
• The algebra of topology
• Rough sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras