Dynamic relational mereotopology: Logics for stable and unstable relations

DOI10.12775/LLP.2013.014zbMath1344.03013MaRDI QIDQ4982515

Vladislav Nenchev

Publication date: 9 April 2015

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

representation theorymereologymereotopologyhereditary undecidabilityquantifier-free fragmentstable and unstable relations

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III

This page was built for publication: Dynamic relational mereotopology: Logics for stable and unstable relations