A proof system for contact relation algebras
From MaRDI portal
Publication:1576385
DOI10.1023/A:1004764610651zbMath0956.03052OpenAlexW2060589018MaRDI QIDQ1576385
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
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)
Related Items (7)
Mereotopological connection ⋮ Implementing a relational theorem prover for modal logic ⋮ Contact, closure, topology, and the linking of row and column types of relations ⋮ Tableaux and dual tableaux: transformation of proofs ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Relational proof systems for spatial reasoning ★ ⋮ On the decidability of axiomatized mereotopological theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Small integral relation algebras generated by a partial order
- Connection structures
- Dynamic algebras: Examples, constructions, applications
- A complete axiom system for polygonal mereotopology of the real plane
- Ontologies for plane, polygonal mereotopology
- The lattice of varieties of representable relation algebras
- Parts, wholes, and part-whole relations: The prospects of mereotopology
- Decision problems for equational theories of relation algebras
- Expressivity in polygonal, plane mereotopology
- On the calculus of relations
- Boolean Algebras with Operators. Part I
- A necessary relation algebra for mereotopology
This page was built for publication: A proof system for contact relation algebras
