The following pages link to Proofs with graphs (Q1916365):
Displaying 17 items.
- On a graph approach to modal logics (Q281163) (← links)
- On graph reasoning (Q731892) (← links)
- A note on proofs with graphs (Q955713) (← links)
- On graphs for intuitionistic modal logics (Q1744424) (← links)
- Relational matching for graphical calculi of relations (Q1961869) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- Proofs without syntax (Q2469641) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- Presenting basic graph logic (Q2671594) (← 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)
- (Q4530463) (← links)
- Reasoning with Graphs (Q4917998) (← links)
- An Agg Application Supporting Visual Reasoning1 (Q4921559) (← links)
- Assertive graphs (Q5375875) (← links)