![]() A preprint version of this paper can be downloaded here: compactvenn.pdf. In the Journal of Philosophical Logic (2006) 35: 289-291, and is available here. "A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System" was published.A preprint version of this article can be downloaded here: complexity_case_analysis_diagrams.pdf. Satisfaction in Euclidean Geometry," Journal of Complexity 22 (2006) 250-274, which The most technical results about the computational complexity of using diagrams inĮuclidean geometry can be found in my article "Computational Complexity of Diagram.That, as it turns out, make his system unsound and inconsistent. Geometry which is similar to my formal system FG, but has several key differences John Mumma's Eu is another diagramatic formal system for giving proofs in Euclidean "On the Inconsistency of Mumma's Eu" is a paper that was published in the Notre Dame Journal of Formal Logic (2012) 53: 27-52, and is available here. A preprint of this paper can be downloaded here: onmummaseundjfl.pdf. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |