Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°

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

Full description

Autores:
Poveda Quiñones, Yuri Alexander
Tipo de recurso:
Article of journal
Fecha de publicación:
2000
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/31684
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/31684
http://bdigital.unal.edu.co/21763/
Palabra clave:
51 Matemáticas / Mathematics
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_8ee1fcfb2a7c0b48c7da93e33a81b5eb
oai_identifier_str oai:repositorio.unal.edu.co:unal/31684
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Poveda Quiñones, Yuri Alexander44bba2d4-b866-4093-85ca-93b9a02aa37a3002019-06-26T14:42:35Z2019-06-26T14:42:35Z2000-01-01ISSN: 2357-6529https://repositorio.unal.edu.co/handle/unal/31684http://bdigital.unal.edu.co/21763/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.application/pdfspaUniversidad Nacional de Colombiahttp://revistas.unal.edu.co/index.php/bolma/article/view/18270Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasPoveda 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-652951 Matemáticas / MathematicsLos gráficos existenciales de Peirce en los sistemas alfa° y alfa°°Artículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTORIGINAL18270-59152-1-PB.pdfapplication/pdf1376239https://repositorio.unal.edu.co/bitstream/unal/31684/1/18270-59152-1-PB.pdf20dbb86514695f96755ce5a58889b58bMD51THUMBNAIL18270-59152-1-PB.pdf.jpg18270-59152-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg2412https://repositorio.unal.edu.co/bitstream/unal/31684/2/18270-59152-1-PB.pdf.jpg76360a98de7395e72fa37553b7a493cfMD52unal/31684oai:repositorio.unal.edu.co:unal/316842023-12-02 23:06:48.667Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
title Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
spellingShingle Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
51 Matemáticas / Mathematics
title_short Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
title_full Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
title_fullStr Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
title_full_unstemmed Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
title_sort Los gráficos existenciales de Peirce en los sistemas alfa° y alfa°°
dc.creator.fl_str_mv Poveda Quiñones, Yuri Alexander
dc.contributor.author.spa.fl_str_mv Poveda Quiñones, Yuri Alexander
dc.subject.ddc.spa.fl_str_mv 51 Matemáticas / Mathematics
topic 51 Matemáticas / Mathematics
description 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.
publishDate 2000
dc.date.issued.spa.fl_str_mv 2000-01-01
dc.date.accessioned.spa.fl_str_mv 2019-06-26T14:42:35Z
dc.date.available.spa.fl_str_mv 2019-06-26T14:42:35Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.issn.spa.fl_str_mv ISSN: 2357-6529
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/31684
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/21763/
identifier_str_mv ISSN: 2357-6529
url https://repositorio.unal.edu.co/handle/unal/31684
http://bdigital.unal.edu.co/21763/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/bolma/article/view/18270
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
Boletín de Matemáticas
dc.relation.references.spa.fl_str_mv 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.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacional de Colombia
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/31684/1/18270-59152-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/31684/2/18270-59152-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 20dbb86514695f96755ce5a58889b58b
76360a98de7395e72fa37553b7a493cf
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089963635998720