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

topologyrepresentation theoremmereologymereotopologypoint-free theory of spacesequent algebra

Mathematics Subject Classification ID

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

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

• 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?)
• A representation theorem for Boolean contact algebras
• 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

(6)

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

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)