Decidability of topological quasi-Boolean algebras

DOI10.1080/11663081.2024.2336373MaRDI QIDQ6497086

Unnamed Author, Zhe Lin, Minghui Ma

Publication date: 6 May 2024

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Algebraic structures in the vicinity of pre-rough algebra and their logics
• An algebraic approach to non-classical logics
• Residuation, structural rules and context freeness
• Proper multi-type display calculi for rough algebras
• The algebra of topology
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Rough sets
• Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
• Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability of topological quasi-Boolean algebras