Reasoning with sentences and diagrams

DOI10.1305/ndjfl/1040609295zbMath0801.03004OpenAlexW1990625148MaRDI QIDQ1333317

Eric M. Hammer

Publication date: 13 September 1994

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040609295

zbMATH Keywords

semanticssyntaxrules of inferenceformal system having sentences and diagrams as well-formed representationsheterogeneous system

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Related Items (9)

A Diagrammatic Calculus of Syllogisms ⋮ What is Diagrammatic Reasoning in Mathematics? ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ A diagrammatic calculus of syllogisms ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ On the insufficiency of linear diagrams for syllogisms ⋮ Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers ⋮ Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams ⋮ Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

Cites Work

• A curious inference
• Towards a model theory of diagrams
• Unnamed Item

This page was built for publication: Reasoning with sentences and diagrams