Journal of Philosophical Logic

, Volume 35, Issue 3, pp 289–291

A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System


DOI: 10.1007/s10992-005-9016-5

Cite this article as:
Miller, N. J Philos Logic (2006) 35: 289. doi:10.1007/s10992-005-9016-5


In an article in the Journal of Philosophical Logic in 1996, “Towards a Model Theory of Venn Diagrams,” (Vol. 25, No. 5, pp. 463–482), Hammer and Danner proved the full completeness of Shin’s formal system for reasoning with Venn Diagrams. Their proof is eight pages long. This note gives a brief five line proof of this same result, using connections between diagrammatic and sentential representations.

Copyright information

© Springer Science+Business Media, Inc. 2005

Authors and Affiliations

  1. 1.Department of Mathematical SciencesUniversity of Northern ColoradoGreeleyUSA