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 b...

Descripción completa

Detalles Bibliográficos
Autores Principales: "Andrade, Edgar José, Becerra, Edward Samuel"
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