a1 Department of Philosophy and Department of Mathematical Sciences, Carnegie Mellon University
a2 Department of Philosophy, Carnegie Mellon University
a3 Division of Logic, Methodology, and Philosophy of Science, Suppes Center for History and Philosophy of Science
We present a formal system, E, which provides a faithful model of the proofs in Euclid’s Elements, including the use of diagrammatic reasoning.
(Received May 08 2009)