Spider Diagrams

DOI10.1112/S1461157000000942MaRDI QIDQ5697473zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• The semiotics of spider diagrams
• The Expressiveness of Spider Diagrams
• The configuration space of a spider
• Diagrammatic Representation and Inference
• Spiderweb central configurations

Cites work

• Comparing the efficacy of visual languages
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• scientific article; zbMATH DE number 1237648 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• The Expressiveness of Spider Diagrams

Cited in

(37)

• Venn diagram with names of individuals and their absence: a non-classical diagram logic
• Presence and absence of individuals in diagrammatic logics: an empirical comparison
• \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary
• On the logical philosophy of assertive graphs
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• A diagrammatic inference system with Euler circles
• Syllogisms in rudimentary linear logic, diagrammatically
• What makes an effective representation of information: a formal account of observational advantages
• The semiotics of spider diagrams
• Automated theorem proving in Euler diagram systems
• How diagrams can support syllogistic reasoning: an experimental study
• Set Venn diagrams applied to inclusions and non-inclusions
• Speedith: a reasoner for spider diagrams
• scientific article; zbMATH DE number 1670606 (Why is no real title available?)
• Equivalences in Euler-based diagram systems through normal forms
• Automated theorem proving with spider diagrams
• On the completeness of spider diagrams augmented with constants
• Heterogeneous proofs: spider diagrams meet higher-order provers
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• The Expressiveness of Spider Diagrams
• scientific article; zbMATH DE number 2086747 (Why is no real title available?)
• Generalized constraint diagrams and the classical decision problem
• Counter-example construction with Euler diagrams
• Conceptual Structures at Work
• Visual Mathematics: Diagrammatic Formalization and Proof
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• 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
• Calculus CL as a Formal System
• Direct Reduction of Syllogisms with Byzantine Diagrams
• The flower calculus
• Visual clarity and expressiveness in logic diagrams
• Efficient on-line algorithms for Euler diagram region computation
• Truth diagrams versus extant notations for propositional logic

This page was built for publication: Spider Diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5697473)