System logiczny oparty na geometrii Piera della Francesca
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.
Zamierzasz pobrać artykuł darmowy. Tutaj znajdziesz informacje o zasadach pobierania darmowych artykułów z bazy.