Equivalences in Euler-based diagram systems through normal forms

DOI10.1112/S1461157014000114MaRDI QIDQ2827282zbMATH OpenOpenAlexFDO

Authors Andrew Fish, John Taylor

Publication date 13 October 2016

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

Full work available at URL https://doi.org/10.1112/s1461157014000114

zbMATH Keywords

diagrammatic logicsdiagrammatic systemsEuler-diagram-based notations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Abstract deductive systems (03B22) Logic in computer science (03B70)

Recommendations

• Euler’s visual logic
• A survey of reasoning systems based on Euler diagrams
• scientific article; zbMATH DE number 972592
• scientific article; zbMATH DE number 1237648
• Abstractions of Euler diagrams

Cites work

• scientific article; zbMATH DE number 3852463 (Why is no real title available?)
• scientific article; zbMATH DE number 1237648 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• A graph theoretic approach to general Euler diagram drawing
• Automated theorem proving in Euler diagram systems
• Euler’s visual logic
• Generating simple convex Venn diagrams
• Hypergraph planarity and the complexity of drawing venn diagrams
• Maintaining knowledge about temporal intervals
• On the construction of venn diagrams
• Simple, reducible Venn diagrams on five curves and Hamiltonian cycles
• Spider Diagrams
• The Construction of Venn Diagrams
• The Expressiveness of Spider Diagrams

Cited in

(1)

• What makes an effective representation of information: a formal account of observational advantages

Describes a project that uses

Uses Software

• Hyperproof

This page was built for publication: Equivalences in Euler-based diagram systems through normal forms

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