Pages that link to "Item:Q361868"
From MaRDI portal
The following pages link to Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868):
Displaying 4 items.
- Counter-example construction with Euler diagrams (Q495828) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
