A diagrammatic inference system with Euler circles
From MaRDI portal
Publication:2255200
DOI10.1007/s10849-012-9160-6zbMath1305.03014OpenAlexW2122880497MaRDI QIDQ2255200
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
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
How diagrams can support syllogistic reasoning: an experimental study, Proof theory for reasoning with Euler diagrams: a logic translation and normalization, Presence and absence of individuals in diagrammatic logics: an empirical comparison, Arthur Schopenhauer on Naturalness in Logic, Counter-example construction with Euler diagrams, Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization, A generalized syllogistic inference system based on inclusion and exclusion relations, Syllogisms in rudimentary linear logic, diagrammatically, The Observational Advantages of Euler Diagrams with Existential Import, Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
Cites Work