System logiczny oparty na geometrii Piera della Francesca

Abstrakt

Logical system based on the geometry of Piero della Francesca

The goal of the paper is to present an overview of a formal system EF, which provides a model of proofs in Francesca’s treatises. For this purpose, a method of natural deduction is proposed. The formal system also takes into account the importance of diagrams within formal proofs.