Date of Original Version

12-2009

Type

Article

Rights Management

All Rights Reserved

Abstract or Description

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

DOI

10.1017/S1755020309990098

Included in

Philosophy Commons

Share

COinS