Pages that link to "Item:Q1333317"
From MaRDI portal
The following pages link to Reasoning with sentences and diagrams (Q1333317):
Displaying 16 items.
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- A generic approach to diagrammatic representation: the case of single feature indicator systems (Q1664369) (← links)
- 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)
- (Q2753882) (← 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)
- (Q4888736) (← links)
- (Q5691488) (← links)
- Diagrammatic Definitions of Causal Claims (Q5878877) (← 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)
- Calculus CL as a Formal System (Q6485480) (← links)