dc.rights.license | Atribución-NoComercial 4.0 Internacional |
dc.contributor.author | Poveda Quiñones, Yuri Alexander |
dc.date.accessioned | 2019-06-26T14:42:35Z |
dc.date.available | 2019-06-26T14:42:35Z |
dc.date.issued | 2000-01-01 |
dc.identifier.issn | ISSN: 2357-6529 |
dc.identifier.uri | https://repositorio.unal.edu.co/handle/unal/31684 |
dc.description.abstract | Las 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.mimetype | application/pdf |
dc.language.iso | spa |
dc.publisher | Universidad Nacional de Colombia |
dc.relation | http://revistas.unal.edu.co/index.php/bolma/article/view/18270 |
dc.relation.ispartof | Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas |
dc.relation.ispartof | Boletín de Matemáticas |
dc.rights | Derechos reservados - Universidad Nacional de Colombia |
dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ |
dc.subject.ddc | 51 Matemáticas / Mathematics |
dc.title | Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°° |
dc.type | Artículo de revista |
dc.type.driver | info:eu-repo/semantics/article |
dc.type.version | info:eu-repo/semantics/publishedVersion |
dc.identifier.eprints | http://bdigital.unal.edu.co/21763/ |
dc.relation.references | Poveda 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.accessrights | info:eu-repo/semantics/openAccess |
dc.type.coar | http://purl.org/coar/resource_type/c_6501 |
dc.type.coarversion | http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.content | Text |
dc.type.redcol | http://purl.org/redcol/resource_type/ART |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 |