FOM: geometrical reasoning paul.andrews at
Fri Feb 26 08:03:05 EST 1999

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.andrews at

More information about the FOM mailing list