A mereotopology based on sequent algebras

DOI10.1080/11663081.2017.1420590MaRDI QIDQ4586239zbMATH OpenOpenAlexFDO

Authors 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

mereologymereotopologypoint-free theory of spacerepresentation theoremsequent algebratopology

Mathematics Subject Classification ID

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

Recommendations

• A necessary relation algebra for mereotopology
• A universal algebraic set theory built on mereology with applications
• On a sequential model of the algebra of finite-valued logic
• Sequent calculi for semi-De Morgan and De Morgan algebras
• Sequent calculi and quasivarieties
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• On the Algebraization of Many-Sorted Logics
• scientific article; zbMATH DE number 672330
• A calculus of multiary sequent terms
• A constructive sequence algebra for the calculus of indications

Cites work

• A representation theorem for Boolean contact algebras
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 1185496 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• scientific article; zbMATH DE number 3198867 (Why is no real title available?)
• Logics of space with connectedness predicates: complete axiomatizations
• Region-based theory of discrete spaces: A proximity approach
• Region-based theory of space: algebras of regions, representation theory, and logics
• Topology, connectedness, and modal logic

Cited in

(8)

• Complementation in representable theories of region-based space
• Relational representation theorems for extended contact algebras
• Extended contact algebras and internal connectedness
• Mereotopologies with predicates of actual existence and actual contact
• Distributive mereotopology: extended distributive contact lattices
• A necessary relation algebra for mereotopology
• Ivanova contact join-semilattices are not finitely axiomatizable
• Hypercontact semilattices

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

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