Corcoran's aristotelian syllogistic as a subsystem of first-order logic
La silogística aristotélica ha sido formalizada hace ya cierto tiempo por medio de un sistema de deducción natural, llamado D por John Corcoran. En un artículo clásico, Corcoran demuestra un teorema de completitud para dicho sistema. Su demostración involucra el uso de un sistema reducido, llamado R...
Autores Principales: | , |
---|---|
Formato: | Artículo (Article) |
Lenguaje: | Inglés (English) |
Publicado: |
Universidad Nacional de Colombia
2007
|
Materias: | |
Acceso en línea: | https://repository.urosario.edu.co/handle/10336/24588 |