A diagrammatic inference system with Euler circles

DOI10.1007/s10849-012-9160-6zbMath1305.03014OpenAlexW2122880497MaRDI QIDQ2255200

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Publication date: 9 February 2015

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-012-9160-6

zbMATH Keywords

diagrammatic reasoningproof theoryEuler diagram

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (10)

How diagrams can support syllogistic reasoning: an experimental study ⋮ Proof theory for reasoning with Euler diagrams: a logic translation and normalization ⋮ Presence and absence of individuals in diagrammatic logics: an empirical comparison ⋮ Arthur Schopenhauer on Naturalness in Logic ⋮ Counter-example construction with Euler diagrams ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ A generalized syllogistic inference system based on inclusion and exclusion relations ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ The Observational Advantages of Euler Diagrams with Existential Import ⋮ Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• Towards a model theory of diagrams
• Euler’s visual logic
• Spider Diagrams

This page was built for publication: A diagrammatic inference system with Euler circles