Articles
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.
English
Język Polski