The following pages link to A note on proofs with graphs (Q955713):
Displaying 7 items.
- Proofs with graphs (Q1916365) (← links)
- Relational matching for graphical calculi of relations (Q1961869) (← links)
- Proof analysis of Peirce's alpha system of graphs (Q2363507) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- (Q3315555) (← links)
- (Q4530463) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)