The following pages link to (Q4847218):
Displayed 50 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)
- 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)
- Strategy analysis of non-consequence inference with Euler diagrams (Q1711501) (← links)
- On the structure of constituents of finite independent families of convex bodies in \(R^2\) and \(R^3\) spaces (Q1749333) (← 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)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic (Q2239387) (← 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)
- Diagrams in mathematics (Q2289698) (← 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)
- Revisiting Peirce's rules of transformation for Euler-Venn diagrams (Q2671596) (← links)
- Jin Yuelin's simplification of Venn diagrams (Q2671618) (← links)
- Material representations in mathematical research practice (Q2690208) (← 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)
- Schopenhauer on Diagrammatic Proof (Q5118397) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- Spider Diagrams (Q5697473) (← links)
- The Observational Advantages of Euler Diagrams with Existential Import (Q5878875) (← links)
- Euler Diagrams Through the Looking Glass: From Extent to Intent (Q5878878) (← links)
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams (Q5878879) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)
- Syllogistic with Jigsaw Puzzle Diagrams (Q5878891) (← 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)
- The Representation of Negative Terms with Euler Diagrams (Q6051646) (← links)