Pages that link to "Item:Q2848472"
From MaRDI portal
The following pages link to A survey of reasoning systems based on Euler diagrams (Q2848472):
Displaying 13 items.
- Venn diagram with names of individuals and their absence: a non-classical diagram logic (Q1653555) (← links)
- Strategy analysis of non-consequence inference with Euler diagrams (Q1711501) (← links)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← links)
- A diagrammatic inference system with Euler circles (Q2255200) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- A system for virtual directories using Euler diagrams (Q2848465) (← links)
- Diagrammatic Representation and Inference (Q5714031) (← links)
- Euler Diagrams Through the Looking Glass: From Extent to Intent (Q5878878) (← links)
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams (Q5878879) (← links)
- Euler Diagrams for Defeasible Reasoning (Q6485461) (← links)