Strategy analysis of non-consequence inference with Euler diagrams

DOI10.1007/s10849-017-9259-xOpenAlexW2756340725MaRDI QIDQ1711501

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

enumerationdiagrammatic reasoningcognitive scienceself-consistencydiagram layoutnon-consequence

Mathematics Subject Classification ID

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

Related Items (1)

Accessible Reasoning with Diagrams: From Cognition to Automation

Uses Software

• Sledgehammer
• Hyperproof

Cites Work

• The forgotten individual: diagrammatic reasoning in mathematics
• Counter-example construction with Euler diagrams
• Main problems of diagrammatic reasoning. I: The generalization problem
• How diagrams can support syllogistic reasoning: an experimental study
• Automatic Proof and Disproof in Isabelle/HOL
• Aligning logical and psychological perspectives on diagrammatic reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item

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