Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 35, Number 1 (1994), 73-87.
Reasoning with Sentences and Diagrams
A formal system is studied having both sentences and diagrams as well-formed representations. Proofs in the system allow inference back and forth between sentences and diagrams, as well as between diagrams and diagrams, and between sentences and sentences. This sort of heterogeneous system is of interest because external representations other than linguistic ones occur commonly in actual reasoning in conjunction with language. Syntax, semantics, and rules of inference for the system are given and it is shown to be sound and complete.
Notre Dame J. Formal Logic, Volume 35, Number 1 (1994), 73-87.
First available in Project Euclid: 22 December 2002
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03B99: None of the above, but in this section
Hammer, Eric. Reasoning with Sentences and Diagrams. Notre Dame J. Formal Logic 35 (1994), no. 1, 73--87. doi:10.1305/ndjfl/1040609295. https://projecteuclid.org/euclid.ndjfl/1040609295