A proof system for contact relation algebras

DOI10.1023/A:1004764610651MaRDI QIDQ1576385zbMATH OpenOpenAlexFDO

Authors Ivo Düntsch, Ewa Orłowska

Publication date 7 March 2001

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1004764610651

zbMATH Keywords

mereologyspatial reasoningequational theoryrelation algebrascontact relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15) Real and complex geometry (51M99)

Recommendations

• scientific article; zbMATH DE number 1735905
• A relational logic for spatial contact based on rough set approximation
• Remarks on contact relations on Boolean algebras
• Relational proof systems for spatial reasoning
• Contact relations with applications

Cites work

• scientific article; zbMATH DE number 3857387 (Why is no real title available?)
• scientific article; zbMATH DE number 67039 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1215465 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• scientific article; zbMATH DE number 3269000 (Why is no real title available?)
• scientific article; zbMATH DE number 3300552 (Why is no real title available?)
• scientific article; zbMATH DE number 970626 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A complete axiom system for polygonal mereotopology of the real plane
• A necessary relation algebra for mereotopology
• Boolean Algebras with Operators. Part I
• Connection structures
• Decision problems for equational theories of relation algebras
• Dynamic algebras: Examples, constructions, applications
• Expressivity in polygonal, plane mereotopology
• Maintaining knowledge about temporal intervals
• On the calculus of relations
• Ontologies for plane, polygonal mereotopology
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Small integral relation algebras generated by a partial order
• The lattice of varieties of representable relation algebras

Cited in

(12)

• Tableaux and dual tableaux: transformation of proofs
• scientific article; zbMATH DE number 1735905 (Why is no real title available?)
• Contact, closure, topology, and the linking of row and column types of relations
• Implementing a relational theorem prover for modal logic K
• Relational and Kleene-Algebraic Methods in Computer Science
• On the decidability of axiomatized mereotopological theories
• Bibliography of Ewa Orłowska
• Relational Methods in Computer Science
• An efficient relational deductive system for propositional non-classical logics
• Relational proof systems for spatial reasoning
• Mereotopological connection
• A relational logic for spatial contact based on rough set approximation

This page was built for publication: A proof system for contact relation algebras

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