The following pages link to (Q4875400):
Displaying 9 items.
- Exhibiting interpretational and representational validity (Q484954) (← links)
- Counter-example construction with Euler diagrams (Q495828) (← links)
- A plea for logical objects (Q833028) (← links)
- Semantics for existential graphs (Q1272833) (← links)
- HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- A brief proof of the full completeness of Shin's Venn diagram proof system (Q2499299) (← links)
- Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction (Q4683205) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)