FOM: geometrical reasoning

[paul.andrews@utoronto.ca]

Hi,
Another book that those of you who are interested in the diagrammetic
reasoning thread should look at is Hammer's "Logic and Visual
Information" CSLI, 1995.  It contains soundness and completeness proofs
for Venn diagrams, Euler circles, Higraphs, and Peirce diagrams.
It also contains an interesting chapter on a system which covers both Venn
diagrams and first-order sentences.


Paul

paul.andrews at utoronto.ca