Lógica diagonal

Como resultado de explorar algunas conexiones entre lógica, teoría de categorías, teoría de combinadores, la paradoja de Russell, la regla de contracción, la regla de modus ponens y el axioma de separación irrestricta de conjuntos, se presentan sistemas lógicos consistentes que pueden ser extendidos...

Full description

Autores:
Sierra, Manuel
Tipo de recurso:
Article of journal
Fecha de publicación:
1996
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/31644
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/31644
http://bdigital.unal.edu.co/21723/
Palabra clave:
Russell's paradox
contraction
modus ponens
substitution
triviality
paradoja de Russell
contracción
modus ponens
substitución
trivialidad
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_36e98b8139d7a58526fbb4d8c7b0129e
oai_identifier_str oai:repositorio.unal.edu.co:unal/31644
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, Manuel4faaef59-750e-42f4-abff-38846b8629013002019-06-26T14:40:46Z2019-06-26T14:40:46Z1996https://repositorio.unal.edu.co/handle/unal/31644http://bdigital.unal.edu.co/21723/Como resultado de explorar algunas conexiones entre lógica, teoría de categorías, teoría de combinadores, la paradoja de Russell, la regla de contracción, la regla de modus ponens y el axioma de separación irrestricta de conjuntos, se presentan sistemas lógicos consistentes que pueden ser extendidos hasta incorporar la paradoja de Russell como uno de sus teoremas.As a result of explorations between logic, category theory, combinators, Russell's paradox, contraction rule, modus ponens and the unrestricted comprehension schema, we present consistent logic systems, which can be extended until proving Russell's paradox as a theorem.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/18229Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 2357-6529 0120-0380Sierra, Manuel (1996) Lógica diagonal. Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 2357-6529 0120-0380 .Lógica diagonalArtí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/ARTRussell's paradoxcontractionmodus ponenssubstitutiontrivialityparadoja de Russellcontracciónmodus ponenssubstitucióntrivialidadORIGINAL18229-59028-1-PB.pdfapplication/pdf2478583https://repositorio.unal.edu.co/bitstream/unal/31644/1/18229-59028-1-PB.pdf65c02f160049fd1f7fd6b6dfdeb62bf2MD51THUMBNAIL18229-59028-1-PB.pdf.jpg18229-59028-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg2442https://repositorio.unal.edu.co/bitstream/unal/31644/2/18229-59028-1-PB.pdf.jpg5b7567874742ebcf82605e2d5e8f8d11MD52unal/31644oai:repositorio.unal.edu.co:unal/316442023-12-02 23:06:40.99Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Lógica diagonal
title Lógica diagonal
spellingShingle Lógica diagonal
Russell's paradox
contraction
modus ponens
substitution
triviality
paradoja de Russell
contracción
modus ponens
substitución
trivialidad
title_short Lógica diagonal
title_full Lógica diagonal
title_fullStr Lógica diagonal
title_full_unstemmed Lógica diagonal
title_sort Lógica diagonal
dc.creator.fl_str_mv Sierra, Manuel
dc.contributor.author.spa.fl_str_mv Sierra, Manuel
dc.subject.proposal.spa.fl_str_mv Russell's paradox
contraction
modus ponens
substitution
triviality
paradoja de Russell
contracción
modus ponens
substitución
trivialidad
topic Russell's paradox
contraction
modus ponens
substitution
triviality
paradoja de Russell
contracción
modus ponens
substitución
trivialidad
description Como resultado de explorar algunas conexiones entre lógica, teoría de categorías, teoría de combinadores, la paradoja de Russell, la regla de contracción, la regla de modus ponens y el axioma de separación irrestricta de conjuntos, se presentan sistemas lógicos consistentes que pueden ser extendidos hasta incorporar la paradoja de Russell como uno de sus teoremas.
publishDate 1996
dc.date.issued.spa.fl_str_mv 1996
dc.date.accessioned.spa.fl_str_mv 2019-06-26T14:40:46Z
dc.date.available.spa.fl_str_mv 2019-06-26T14:40:46Z
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.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/31644
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/21723/
url https://repositorio.unal.edu.co/handle/unal/31644
http://bdigital.unal.edu.co/21723/
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/18229
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.ispartofseries.none.fl_str_mv Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 2357-6529 0120-0380
dc.relation.references.spa.fl_str_mv Sierra, Manuel (1996) Lógica diagonal. Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 63-81 2357-6529 0120-0380 .
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 Boletín de Matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/31644/1/18229-59028-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/31644/2/18229-59028-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 65c02f160049fd1f7fd6b6dfdeb62bf2
5b7567874742ebcf82605e2d5e8f8d11
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_ 1814089887962365952

Publicaciones similares