Strategy analysis of non-consequence inference with Euler diagrams

Redirect to:

• Strategy analysis of non-consequence inference with Euler diagrams

DOI10.1007/S10849-017-9259-XMaRDI QIDQ1711501zbMATH OpenOpenAlexFDO

Authors Yuri Sato, Yuichiro Wajima, Kazuhiro Ueda

Publication date 18 January 2019

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

Full work available at URL https://doi.org/10.1007/s10849-017-9259-x

zbMATH Keywords

cognitive sciencediagram layoutdiagrammatic reasoningenumerationnon-consequenceself-consistency

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• How diagrams can support syllogistic reasoning: an experimental study
• A survey of reasoning systems based on Euler diagrams
• Euler’s visual logic
• Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning
• A diagrammatic inference system with Euler circles

Cites work

• Aligning logical and psychological perspectives on diagrammatic reasoning
• Automatic proof and disproof in Isabelle/HOL
• Comparing the efficacy of visual languages
• Counter-example construction with Euler diagrams
• How diagrams can support syllogistic reasoning: an experimental study
• scientific article; zbMATH DE number 2086747 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• Main problems of diagrammatic reasoning. I: The generalization problem
• The forgotten individual: diagrammatic reasoning in mathematics

Cited in

(3)

• How diagrams can support syllogistic reasoning: an experimental study
• Accessible Reasoning with Diagrams: From Cognition to Automation
• Well-Matchedness in Euler and Linear Diagrams

Describes a project that uses

Uses Software

• Sledgehammer
• Hyperproof

This page was built for publication: Strategy analysis of non-consequence inference with Euler diagrams

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