Pages that link to "Item:Q1576385"
From MaRDI portal
The following pages link to A proof system for contact relation algebras (Q1576385):
Displaying 7 items.
- Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- Mereotopological connection (Q1402583) (← links)
- On the decidability of axiomatized mereotopological theories (Q2354622) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
