Logical Reasoning with Diagrams (Studies in Logic and Computation)

Ch. I. Visual Information And Valid Reasoning / Jon Barwise And John Etchemendy -- Ch. Ii. Operational Constraints In Diagrammatic Reasoning / Atsushi Shimojima -- Ch. Iii. Diagrams And The Concept Of Logical System / Jon Barwise And Eric Hammer -- Ch. Iv. Situation-theoretic Account Of Valid Reasoning With Venn Diagrams / Sun-joo Shin -- Ch. V. Towards A Model Theory Of Venn Diagrams / Eric Hammer And Norman Danner -- Ch. Vi. Peircean Graphs For Propositional Logic / Eric Hammer -- Ch. Vii. A Diagrammatic Subsystem Of Hilbert's Geometry / Isabel Luengo -- Ch. Viii. Heterogeneous Logic / Jon Barwise And John Etchemendy -- Ch. Ix. Toward The Rigorous Use Of Diagrams In Reasoning About Hardware / Steven D. Johnson, Jon Barwise And Gerard Allwein -- Ch. X. Exploiting The Potential Of Diagrams In Guiding Hardware Reasoning / Kathi D. Fisler. Edited By Gerard Allwein And Jon Barwise ; With Contributions By Gerard Allwein ... [et Al.]. Includes Bibliographical References And Index.