Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorPoveda Quiñones, Yuri Alexander
dc.date.accessioned2019-06-26T14:42:35Z
dc.date.available2019-06-26T14:42:35Z
dc.date.issued2000-01-01
dc.identifier.issnISSN: 2357-6529
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/31684
dc.description.abstractLas reglas deductivas de eliminación y de inserción propuestas para los gráficos existenciales Alfa, de Peirce, son complejas para ser formalizadas en el Cálculo Proposicional Clásico. Las pruebas de validez de estas reglas en el Cálculo Proposicional Clásico requieren inducción pues dependen de la paridad de las cortaduras en cualquier fórmula.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad Nacional de Colombia
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/18270
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
dc.relation.ispartofBoletín de Matemáticas
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.subject.ddc51 Matemáticas / Mathematics
dc.titleLos gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
dc.typeArtículo de revista
dc.type.driverinfo:eu-repo/semantics/article
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/21763/
dc.relation.referencesPoveda Quiñones, Yuri Alexander (2000) Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°. Boletín de Matemáticas, 7 (1). pp. 5-17. ISSN 2357-6529
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.type.coarhttp://purl.org/coar/resource_type/c_6501
dc.type.coarversionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/ART
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit