The following pages link to (Q2848474):
Displaying 5 items.
- Singular propositions, negation and the square of opposition (Q346761) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)