Counter-example construction with Euler diagrams
From MaRDI portal
Publication:495828
DOI10.1007/S11225-014-9584-XzbMATH Open1370.03076OpenAlexW2031215408MaRDI QIDQ495828FDOQ495828
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
Recommendations
Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) General logic (03B99)
Cites Work
- Qualitative spatial representation and reasoning: An overview
- Title not available (Why is that?)
- A diagrammatic inference system with Euler circles
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization
- Title not available (Why is that?)
- Spider Diagrams
- Title not available (Why is that?)
- Euler’s visual logic
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
Uses Software
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)
