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

Full description

Autores:

Tipo de recurso:

Fecha de publicación:

2008

Institución:

Universidad del Rosario

Repositorio:

Repositorio EdocUR - U. Rosario

Idioma:

eng

OAI Identifier:

oai:repository.urosario.edu.co:10336/24211

Acceso en línea:

https://doi.org/10.1080/01445340801976516
https://repository.urosario.edu.co/handle/10336/24211

Palabra clave:

Establishing
connections
between
Aristotle's
natural
deduction
first-order
logic

Rights

License

Abierto (Texto Completo)