A mereotopology based on sequent algebras

DOI10.1080/11663081.2017.1420590zbMath1398.03147OpenAlexW2791734279MaRDI QIDQ4586239

Dimiter Vakarelov

Publication date: 12 September 2018

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

Full work available at URL: https://doi.org/10.1080/11663081.2017.1420590

zbMATH Keywords

representation theoremtopologymereologymereotopologypoint-free theory of spacesequent algebra

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other algebras related to logic (03G25) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (2)

Relational representation theorems for extended contact algebras ⋮ Extended contact algebras and internal connectedness

Cites Work

• Region-based theory of discrete spaces: A proximity approach
• A representation theorem for Boolean contact algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A mereotopology based on sequent algebras