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

Descripción completa

Detalles Bibliográficos
Autores Principales: Andrade-Lotero, Edgar, BECERRA, EDWARD
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