Pages that link to "Item:Q1333317"
From MaRDI portal
The following pages link to Reasoning with sentences and diagrams (Q1333317):
Displayed 9 items.
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- A diagrammatic calculus of syllogisms (Q2255199) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- A Diagrammatic Calculus of Syllogisms (Q2948603) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- What is Diagrammatic Reasoning in Mathematics? (Q4629528) (← links)
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams (Q5878879) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)
- On the insufficiency of linear diagrams for syllogisms (Q5937839) (← links)