The Review of Symbolic Logic · 2009 · 144 citations · 27 references
ComputingComputer ScienceDiagrammingFormal MethodsLogicAutomated ReasoningDeductive ReasoningDeductive VerificationMathematical LogicProof AssistantsTheorem ProvingDiagrammatic ReasoningFormal Proof SystemsProof SchemasProof Systems
We present a formal system, E , which provides a faithful model of the proofs in Euclid’s Elements , including the use of diagrammatic reasoning.
27
Howard Levi, H. S. M. Coxeter · The Journal of Philosophy · 1963 · 572 citations
On the foundations of measurement
Jonathan Barzilai · 2002 · 440 citations
Stephan Schulz · 2002 · 418 citations