Establishing connections between Aristotle's natural deduction and first-order logic
This article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and Lukasiewicz's axiomatization of the syllogistic. We show that by tran...
| Autores Principales: | , |
|---|---|
| Formato: | Artículo (Article) |
| Lenguaje: | Inglés (English) |
| Publicado: |
2008
|
| Materias: | |
| Acceso en línea: | https://repository.urosario.edu.co/handle/10336/24211 https://doi.org/10.1080/01445340801976516 |