Spider Diagrams

DOI10.1112/S1461157000000942zbMath1074.03006OpenAlexW4232177563MaRDI QIDQ5697473

John Howse, Gem Stapleton, John Taylor

Publication date: 17 October 2005

Published in: LMS Journal of Computation and Mathematics (Search for Journal in Brave)

Full work available at URL: http://www.lms.ac.uk/jcm/8/lms2004-060/

zbMATH Keywords

diagrammatic formal reasoningdiagrammatic reasoning systemdiagrammatic syntaxfirst-order monadic logic with equalitytopological properties of diagrams

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

Related Items (25)

How diagrams can support syllogistic reasoning: an experimental study ⋮ Set Venn diagrams applied to inclusions and non-inclusions ⋮ Speedith: a reasoner for spider diagrams ⋮ Venn diagram with names of individuals and their absence: a non-classical diagram logic ⋮ What makes an effective representation of information: a formal account of observational advantages ⋮ The semiotics of spider diagrams ⋮ Proof theory for reasoning with Euler diagrams: a logic translation and normalization ⋮ Presence and absence of individuals in diagrammatic logics: an empirical comparison ⋮ On the Completeness of Spider Diagrams Augmented with Constants ⋮ On the logical philosophy of assertive graphs ⋮ Counter-example construction with Euler diagrams ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ Automated theorem proving in Euler diagram systems ⋮ A diagrammatic inference system with Euler circles ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary ⋮ Efficient on-line algorithms for Euler diagram region computation ⋮ Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers ⋮ Equivalences in Euler-based diagram systems through normal forms ⋮ Truth diagrams versus extant notations for propositional logic ⋮ Visual Mathematics: Diagrammatic Formalization and Proof ⋮ The Observational Advantages of Euler Diagrams with Existential Import ⋮ Sequent Calculus for Euler Diagrams ⋮ Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams ⋮ Diagrammatically Formalising Constraints of a Privacy Ontology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Expressiveness of Spider Diagrams
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference

This page was built for publication: Spider Diagrams