A diagrammatic inference system with Euler circles

DOI10.1007/S10849-012-9160-6MaRDI QIDQ2255200zbMATH OpenOpenAlexFDO

Authors 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

proof theorydiagrammatic reasoningEuler diagram

Mathematics Subject Classification ID

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

Recommendations

• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Euler’s visual logic
• Counter-example construction with Euler diagrams
• A survey of reasoning systems based on Euler diagrams
• scientific article; zbMATH DE number 972592

Cites work

• scientific article; zbMATH DE number 1237648 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• A survey of reasoning systems based on Euler diagrams
• Euler’s visual logic
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• Spider Diagrams
• Towards a model theory of diagrams

Cited in

(26)

• scientific article; zbMATH DE number 1787156 (Why is no real title available?)
• A generalized syllogistic inference system based on inclusion and exclusion relations
• Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• The Observational Advantages of Euler Diagrams with Existential Import
• A bitstring semantics for calculus \textit{CL}
• Syllogisms in rudimentary linear logic, diagrammatically
• Sequent Calculus for Euler Diagrams
• Presence and absence of individuals in diagrammatic logics: an empirical comparison
• Remodeling a DS-diagram into one with E-cycle
• Automated theorem proving in Euler diagram systems
• scientific article; zbMATH DE number 1512891 (Why is no real title available?)
• Natural deduction for intuitionistic Euler-Venn diagrams
• Euler-type diagrams and the quantification of the predicate
• Euler Diagrams for Defeasible Reasoning
• Counter-example construction with Euler diagrams
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• A survey of reasoning systems based on Euler diagrams
• Arthur Schopenhauer on naturalness in logic
• Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification
• Diagrams, visualization and operational constraints
• Strategy analysis of non-consequence inference with Euler diagrams
• How diagrams can support syllogistic reasoning: an experimental study
• Euler’s visual logic
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
• Intuitionistic Euler-Venn Diagrams

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

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