Pages that link to "Item:Q1576385"
From MaRDI portal
The following pages link to A proof system for contact relation algebras (Q1576385):
Displayed 4 items.
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- Mereotopological connection (Q1402583) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)