Sequent Calculus for Euler Diagrams

DOI10.1007/978-3-319-91376-6_37MaRDI QIDQ5878881zbMATH OpenOpenAlexFDO

Authors Sven Linker

Publication date 23 February 2023

Published in Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-91376-6_37

zbMATH Keywords

Euler diagramsheterogeneous reasoningproof systems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A diagrammatic inference system with Euler circles
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Intuitionistic Euler-Venn Diagrams
• Counter-example construction with Euler diagrams
• Automated theorem proving in Euler diagram systems

Cites work

• A new graphical calculus of proofs
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• Speedith: a reasoner for spider diagrams
• Spider Diagrams
• Structural proof theory. With an appendix by Aarne Ranta

Cited in

(6)

• Abstractions of Euler diagrams
• scientific article; zbMATH DE number 3946122 (Why is no real title available?)
• Arthur Schopenhauer on naturalness in logic
• From Euler diagrams to Aristotelian diagrams
• Intuitionistic Euler-Venn Diagrams
• Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22--23, 2004

Describes a project that uses

Uses Software

• Speedith
• Pesca

This page was built for publication: Sequent Calculus for Euler Diagrams

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