Counter-example construction with Euler diagrams

DOI10.1007/S11225-014-9584-XMaRDI QIDQ495828zbMATH OpenOpenAlexFDO

Authors Ryo Takemura

Publication date 15 September 2015

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-014-9584-x

zbMATH Keywords

proof theorycompletenessdecidabilitydeductive systemEuler diagramstableaux method

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) General logic (03B99)

Recommendations

• Euler’s visual logic
• A diagrammatic inference system with Euler circles
• scientific article; zbMATH DE number 972592
• Euler Diagrams for Defeasible Reasoning
• Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams

Cites work

• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 872502 (Why is no real title available?)
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• A diagrammatic inference system with Euler circles
• Euler’s visual logic
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Qualitative spatial representation and reasoning: An overview
• Spider Diagrams

Cited in

(11)

• On the insufficiency of linear diagrams for syllogisms
• A diagrammatic inference system with Euler circles
• Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams
• Sequent Calculus for Euler Diagrams
• Presence and absence of individuals in diagrammatic logics: an empirical comparison
• Natural deduction for intuitionistic Euler-Venn diagrams
• Combing graphs and Eulerian diagrams in eristic
• Euler Diagrams for Defeasible Reasoning
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Strategy analysis of non-consequence inference with Euler diagrams
• Euler’s visual logic

Describes a project that uses

Uses Software

• Hyperproof

This page was built for publication: Counter-example construction with Euler diagrams

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