The following pages link to (Q4224224):
Displaying 19 items.
- Singular propositions, negation and the square of opposition (Q346761) (← links)
- Diagram processing: Computing with diagrams (Q814449) (← links)
- A graph theoretic approach to general Euler diagram drawing (Q1041227) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Venn diagram with names of individuals and their absence: a non-classical diagram logic (Q1653555) (← links)
- Presence and absence of individuals in diagrammatic logics: an empirical comparison (Q1680517) (← 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)
- Diagrams in mathematics (Q2289698) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Logicographic symbols (Q2457342) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- Diagrammatic Reasoning with Classes and Relationships (Q2948607) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- Spider Diagrams (Q5697473) (← links)
- On the insufficiency of linear diagrams for syllogisms (Q5937839) (← links)
