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