The following pages link to (Q4847218):
Displayed 32 items.
- The Vatican square (Q346752) (← links)
- Singular propositions, negation and the square of opposition (Q346761) (← links)
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- The forgotten individual: diagrammatic reasoning in mathematics (Q375274) (← links)
- Diagrams in the theory of differential equations (eighteenth to nineteenth centuries) (Q375282) (← links)
- Counter-example construction with Euler diagrams (Q495828) (← links)
- Proofs, pictures, and Euclid (Q707897) (← links)
- Diagram processing: Computing with diagrams (Q814449) (← links)
- Intuition and visualization in mathematical problem solving (Q989743) (← links)
- Reasoning with sentences and diagrams (Q1333317) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← 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)
- Main problems of diagrammatic reasoning. I: The generalization problem (Q2271076) (← links)
- What makes an effective representation of information: a formal account of observational advantages (Q2398204) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Logicographic symbols (Q2457342) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- A brief proof of the full completeness of Shin's Venn diagram proof system (Q2499299) (← links)
- On the diagrammatic representation of existential statements with Venn diagrams (Q2629217) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- Euler’s visual logic (Q2757959) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- A Practice-Based Approach to Diagrams (Q2948609) (← links)
- Figures, Formulae, and Functors (Q2948610) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- Spider Diagrams (Q5697473) (← links)
- On the insufficiency of linear diagrams for syllogisms (Q5937839) (← links)
- AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism (Q5937840) (← links)