The following pages link to Proofs with graphs (Q1916365):
Displayed 11 items.
- On a graph approach to modal logics (Q281163) (← links)
- On graph reasoning (Q731892) (← links)
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- On a Graph Calculus for Algebras of Relations (Q3511467) (← links)
- Positive Fork Graph Calculus (Q3605526) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Reasoning with Graphs (Q4917998) (← links)
- An Agg Application Supporting Visual Reasoning1 (Q4921559) (← links)