Ítem
Acceso Abierto

Corcoran's aristotelian syllogistic as a subsystem of first-order logic

Mostrar el registro sencillo de la publicación
dc.creatorAndrade Lotero, Edgar Joséspa
dc.creatorBECERRA, EDWARDspa
dc.date.accessioned2020-06-11T13:20:49Z
dc.date.available2020-06-11T13:20:49Z
dc.date.created2007spa
dc.descriptionLa 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 RD, que es más fácil de manejar y resulta ser equivalente a D. El problema sigue siendo, sin embargo, si RD es de hecho el sistema más sencillo que es equivalente a D. En este artículo responderemos esta pregunta, pero crearemos otras más, al incrustar el sistema RD en la lógica de predicados de primer orden.spa
dc.description.abstractAristotelian syllogistic has been formalized for some time now by means of a natural deduction system, called D by John Corcoran. In a classical paper, Corcoran proves a completeness theorem for such a system. His proof involves the use of a reduced system, called RD, that is easier to handle and turns out to be equivalent to D. The question remains, however, whether RD is in fact the easiest such system that is equivalent to D. In this paper we answer this question, but raise some more, by embedding system RD in first-order predicate logic.spa
dc.format.mimetypeapplication/pdf
dc.identifier.issnISSN: 0034-7426
dc.identifier.issnRevista Colombiana de Matemáaticas
dc.identifier.urihttps://repository.urosario.edu.co/handle/10336/24588
dc.language.isoeng
dc.publisherUniversidad Nacional de Colombiaspa
dc.relation.citationEndPage80
dc.relation.citationIssueNo. 1
dc.relation.citationStartPage67
dc.relation.citationTitleRevista Colombiana de Matemáaticas
dc.relation.citationVolumeVol. 41
dc.relation.ispartofRevista Colombiana de Matemáticas, ISSN:0034-7426, Vol.41, No.1 (2007); pp. 67-80spa
dc.relation.urihttp://www.scielo.org.co/pdf/rcm/v41n1/v41n1a05.pdf
dc.relation.urihttps://dialnet.unirioja.es/servlet/articulo?codigo=3010710
dc.rights.accesRightsinfo:eu-repo/semantics/openAccess
dc.rights.accesoAbierto (Texto Completo)spa
dc.source.instnameinstname:Universidad del Rosariospa
dc.source.reponamereponame:Repositorio Institucional EdocURspa
dc.subjectSilogísticaspa
dc.subjectAristótelesspa
dc.subjectCorcoranspa
dc.subjectcompletitudspa
dc.subjectminimalidadspa
dc.subjectsubsistemas de primer ordenspa
dc.subject.keywordSyllogisticspa
dc.subject.keywordAristotlespa
dc.subject.keywordCorcoranspa
dc.subject.keywordcompletenessspa
dc.subject.keywordminimalityspa
dc.subject.keywordfirst-Order Subsystemspa
dc.titleCorcoran's aristotelian syllogistic as a subsystem of first-order logicspa
dc.title.TranslatedTitleLa silogística aristotélica de Corcoran como un subsistema de la lógica de primer ordenspa
dc.typearticleeng
dc.type.hasVersioninfo:eu-repo/semantics/publishedVersion
dc.type.spaArtículospa
Archivos
Bloque original
Mostrando1 - 1 de 1
Miniatura
Nombre:
v41n1a05.pdf
Tamaño:
229.86 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar
Colecciones
Artículos