Proof theory for reasoning with Euler diagrams: a logic translation and normalization

DOI10.1007/S11225-012-9370-6MaRDI QIDQ361868zbMATH OpenOpenAlexFDO

Authors Ryo Takemura

Publication date 19 August 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9370-6

zbMATH Keywords

diagrammatic reasoningEuler diagramsnatural deductionproof theory

Mathematics Subject Classification ID

Structure of proofs (03F07)

Recommendations

• A diagrammatic inference system with Euler circles
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• Counter-example construction with Euler diagrams
• Natural deduction for intuitionistic Euler-Venn diagrams
• Automated theorem proving in Euler diagram systems

Cites work

• A diagrammatic inference system with Euler circles
• scientific article; zbMATH DE number 5920146 (Why is no real title available?)
• scientific article; zbMATH DE number 1342249 (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?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Information Flow
• Spider Diagrams
• What is a logic translation?

Cited in

(10)

• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• A diagrammatic inference system with Euler circles
• Automated theorem proving in Euler diagram systems
• How diagrams can support syllogistic reasoning: an experimental study
• Speedith: a reasoner for spider diagrams
• Natural deduction for intuitionistic Euler-Venn diagrams
• scientific article; zbMATH DE number 1670605 (Why is no real title available?)
• Counter-example construction with Euler diagrams
• Sequent Calculus for Euler Diagrams
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Proof theory for reasoning with Euler diagrams: a logic translation and normalization

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