Pages that link to "Item:Q1815406"
From MaRDI portal
The following pages link to Towards a model theory of diagrams (Q1815406):
Displaying 6 items.
- Reasoning with sentences and diagrams (Q1333317) (← links)
- A diagrammatic calculus of syllogisms (Q2255199) (← links)
- A diagrammatic inference system with Euler circles (Q2255200) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- A brief proof of the full completeness of Shin's Venn diagram proof system (Q2499299) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)