Publication:4847218

Publication date: 10 September 1995

semantics; syntax; Venn diagrams; visual representation; consequence relation among diagrams; formal representation of reasoning by diagrams; non- linguistic representation system; well-formed diagram

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B99: General logic

Related Items

Visual Mathematics: Diagrammatic Formalization and Proof, Spider Diagrams, On the insufficiency of linear diagrams for syllogisms, AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism, The Vatican square, Singular propositions, negation and the square of opposition, Proof theory for reasoning with Euler diagrams: a logic translation and normalization, The forgotten individual: diagrammatic reasoning in mathematics, Diagrams in the theory of differential equations (eighteenth to nineteenth centuries), Counter-example construction with Euler diagrams, Proofs, pictures, and Euclid, Diagram processing: Computing with diagrams, Intuition and visualization in mathematical problem solving, Reasoning with sentences and diagrams, The concept of relevance and the logic diagram tradition, Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics, 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, What makes an effective representation of information: a formal account of observational advantages, The semiotics of spider diagrams, 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, Euler’s visual logic, Equivalences in Euler-based diagram systems through normal forms, A Practice-Based Approach to Diagrams, Figures, Formulae, and Functors