• System logiczny oparty na geometrii Piera della Francesca

System logiczny oparty na geometrii Piera della Francesca

Ryszard Mirek
Google Scholar Ryszard Mirek
Publikacja:

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.

Zamierzasz pobrać artykuł darmowy. Tutaj znajdziesz informacje o zasadach pobierania darmowych artykułów z bazy.