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

DOI10.1007/s11225-012-9370-6zbMath1288.03030OpenAlexW2091861215MaRDI QIDQ361868

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 reasoningproof theorynatural deductionEuler diagrams

Mathematics Subject Classification ID

Structure of proofs (03F07)

Related Items

How diagrams can support syllogistic reasoning: an experimental study, Speedith: a reasoner for spider diagrams, Counter-example construction with Euler diagrams, Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization, Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

Uses Software

• Pesca

Cites Work

• What is a logic translation?
• A diagrammatic inference system with Euler circles
• Information Flow
• Spider Diagrams
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item