Consistencia de los sistemas LD5 a LD10

Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes.

Autores:
Sierra Aristizábal, Manuel
Tipo de recurso:
Article of journal
Fecha de publicación:
1998
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/31675
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/31675
http://bdigital.unal.edu.co/21754/
Palabra clave:
51 Matemáticas / Mathematics
paradoja de Russell
→consistentes
contracción
simplificación
Modus Ponens
Russell paradox
→consistent
contraction
simplification
modus ponens
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_8c49918570d80540e771928391f8eb94
oai_identifier_str oai:repositorio.unal.edu.co:unal/31675
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_abf2Sierra Aristizábal, Manuel9cebfc70-2d85-44a9-bcab-6e3f819b6f713002019-06-26T14:42:13Z2019-06-26T14:42:13Z1998-07-01ISSN: 2357-6529https://repositorio.unal.edu.co/handle/unal/31675http://bdigital.unal.edu.co/21754/Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes.The propositional systems LD5, ..., LD10 support a general form of Russell paradox and are→consistent.application/pdfspaUniversidad Nacional de Colombiahttp://revistas.unal.edu.co/index.php/bolma/article/view/18260Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasSierra Aristizábal, Manuel (1998) Consistencia de los sistemas LD5 a LD10. Boletín de Matemáticas, 5 (2). pp. 129-145. ISSN 2357-652951 Matemáticas / Mathematicsparadoja de Russell→consistentescontracciónsimplificaciónModus PonensRussell paradox→consistentcontractionsimplificationmodus ponensConsistencia de los sistemas LD5 a LD10Artí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/ARTORIGINAL18260-59104-1-PB.pdfapplication/pdf2011276https://repositorio.unal.edu.co/bitstream/unal/31675/1/18260-59104-1-PB.pdf0f28999e9dcb7663c6e7e9a9d6d1fba5MD51THUMBNAIL18260-59104-1-PB.pdf.jpg18260-59104-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg2378https://repositorio.unal.edu.co/bitstream/unal/31675/2/18260-59104-1-PB.pdf.jpgb7df87b91600fc4921769ec07ff91ac3MD52unal/31675oai:repositorio.unal.edu.co:unal/316752023-12-02 23:06:47.21Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Consistencia de los sistemas LD5 a LD10
title Consistencia de los sistemas LD5 a LD10
spellingShingle Consistencia de los sistemas LD5 a LD10
51 Matemáticas / Mathematics
paradoja de Russell
→consistentes
contracción
simplificación
Modus Ponens
Russell paradox
→consistent
contraction
simplification
modus ponens
title_short Consistencia de los sistemas LD5 a LD10
title_full Consistencia de los sistemas LD5 a LD10
title_fullStr Consistencia de los sistemas LD5 a LD10
title_full_unstemmed Consistencia de los sistemas LD5 a LD10
title_sort Consistencia de los sistemas LD5 a LD10
dc.creator.fl_str_mv Sierra Aristizábal, Manuel
dc.contributor.author.spa.fl_str_mv Sierra Aristizábal, Manuel
dc.subject.ddc.spa.fl_str_mv 51 Matemáticas / Mathematics
topic 51 Matemáticas / Mathematics
paradoja de Russell
→consistentes
contracción
simplificación
Modus Ponens
Russell paradox
→consistent
contraction
simplification
modus ponens
dc.subject.proposal.spa.fl_str_mv paradoja de Russell
→consistentes
contracción
simplificación
Modus Ponens
Russell paradox
→consistent
contraction
simplification
modus ponens
description Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes.
publishDate 1998
dc.date.issued.spa.fl_str_mv 1998-07-01
dc.date.accessioned.spa.fl_str_mv 2019-06-26T14:42:13Z
dc.date.available.spa.fl_str_mv 2019-06-26T14:42:13Z
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/31675
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/21754/
identifier_str_mv ISSN: 2357-6529
url https://repositorio.unal.edu.co/handle/unal/31675
http://bdigital.unal.edu.co/21754/
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/18260
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 Sierra Aristizábal, Manuel (1998) Consistencia de los sistemas LD5 a LD10. Boletín de Matemáticas, 5 (2). pp. 129-145. 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/31675/1/18260-59104-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/31675/2/18260-59104-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 0f28999e9dcb7663c6e7e9a9d6d1fba5
b7df87b91600fc4921769ec07ff91ac3
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_ 1814089466154844160

Publicaciones similares