The following pages link to (Q4737295):
Displaying 5 items.
- Strategy analysis of non-consequence inference with Euler diagrams (Q1711501) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- The notion of diagrammatic isomorphism in Venn-Peirce diagrams (Q6108757) (← links)