scientific article; zbMATH DE number 794693
From MaRDI portal
Publication:4847218
Recommendations
Cited in
(74)- Reasoning with sentences and diagrams
- Venn diagram with names of individuals and their absence: a non-classical diagram logic
- A generic approach to diagrammatic representation: the case of single feature indicator systems
- Presence and absence of individuals in diagrammatic logics: an empirical comparison
- Strategy analysis of non-consequence inference with Euler diagrams
- On the structure of constituents of finite independent families of convex bodies in \(R^2\) and \(R^3\) spaces
- Towards a model theory of diagrams
- The concept of relevance and the logic diagram tradition
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic
- A diagrammatic calculus of syllogisms
- A diagrammatic inference system with Euler circles
- Syllogisms in rudimentary linear logic, diagrammatically
- Main problems of diagrammatic reasoning. I: The generalization problem
- Diagrams in mathematics
- What makes an effective representation of information: a formal account of observational advantages
- The semiotics of spider diagrams
- Visualizations of the square of opposition
- Logicographic symbols
- Automated theorem proving in Euler diagram systems
- A brief proof of the full completeness of Shin's Venn diagram proof system
- On the diagrammatic representation of existential statements with Venn diagrams
- How diagrams can support syllogistic reasoning: an experimental study
- Set Venn diagrams applied to inclusions and non-inclusions
- Revisiting Peirce's rules of transformation for Euler-Venn diagrams
- Jin Yuelin's simplification of Venn diagrams
- Material representations in mathematical research practice
- scientific article; zbMATH DE number 1670617 (Why is no real title available?)
- Euler’s visual logic
- Equivalences in Euler-based diagram systems through normal forms
- A practice-based approach to diagrams
- Figures, formulae, and functors
- Comparing the efficacy of visual languages
- The Vatican square
- Singular propositions, negation and the square of opposition
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization
- scientific article; zbMATH DE number 3946122 (Why is no real title available?)
- The forgotten individual: diagrammatic reasoning in mathematics
- Diagrams in the theory of differential equations (eighteenth to nineteenth centuries)
- scientific article; zbMATH DE number 1237648 (Why is no real title available?)
- scientific article; zbMATH DE number 1145837 (Why is no real title available?)
- scientific article; zbMATH DE number 1787155 (Why is no real title available?)
- scientific article; zbMATH DE number 2086763 (Why is no real title available?)
- scientific article; zbMATH DE number 1862470 (Why is no real title available?)
- scientific article; zbMATH DE number 918108 (Why is no real title available?)
- Counter-example construction with Euler diagrams
- Schopenhauer on diagrammatic proof
- Visual Mathematics: Diagrammatic Formalization and Proof
- scientific article; zbMATH DE number 972592 (Why is no real title available?)
- scientific article; zbMATH DE number 2209443 (Why is no real title available?)
- Spider Diagrams
- The Observational Advantages of Euler Diagrams with Existential Import
- Euler Diagrams Through the Looking Glass: From Extent to Intent
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
- Syllogistic with Jigsaw Puzzle Diagrams
- On the insufficiency of linear diagrams for syllogisms
- AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism
- The Representation of Negative Terms with Euler Diagrams
- Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders
- Epistemic roles of diagrams in short proofs
- Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification
- Graphs and booleans: on the generation of referring expressions
- A bitstring semantics for calculus \textit{CL}
- Venn and Existential Import: Development of the Modern Doctrine of Categorical Propositions
- Direct Reduction of Syllogisms with Byzantine Diagrams
- On the heuristic power of mathematical representations
- Visual clarity and expressiveness in logic diagrams
- Proofs, pictures, and Euclid
- Truth diagrams versus extant notations for propositional logic
- Diagram processing: Computing with diagrams
- Intuition and visualization in mathematical problem solving
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4847218)
