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 8 items.
- Counter-example construction with Euler diagrams (Q495828) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- A diagrammatic inference system with Euler circles (Q2255200) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- (Q2753848) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)