Sistema de lógica diagonal ld1, ld2,…ld42

Los sistemas de Lógica Diagonal deben restringir la validez de la regla de modus ponens para poder soportar una forma abstracta de la paradoja de Russell. En este trabajo se presenta la construcción de una jerarquía de sistemas de Lógica Diagonal, en la cual diferentes formas de modus ponens son est...

Full description

Autores:
Sierra, Manuel
Tipo de recurso:
Fecha de publicación:
2001
Institución:
Universidad EAFIT
Repositorio:
Repositorio EAFIT
Idioma:
spa
OAI Identifier:
oai:repository.eafit.edu.co:10784/17302
Acceso en línea:
http://hdl.handle.net/10784/17302
Palabra clave:
Paradoja del mentiroso
Teoría de conjuntos
Bertrand Russell
Haskell Curry
Logica algebraica
Rights
License
Copyright © 2001 Manuel Sierra
id REPOEAFIT2_90e1d78557a2bfa9be160089aeeecb00
oai_identifier_str oai:repository.eafit.edu.co:10784/17302
network_acronym_str REPOEAFIT2
network_name_str Repositorio EAFIT
repository_id_str
spelling Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees20012020-07-30T21:01:52Z20012020-07-30T21:01:52Z0120-341Xhttp://hdl.handle.net/10784/17302Los sistemas de Lógica Diagonal deben restringir la validez de la regla de modus ponens para poder soportar una forma abstracta de la paradoja de Russell. En este trabajo se presenta la construcción de una jerarquía de sistemas de Lógica Diagonal, en la cual diferentes formas de modus ponens son estudiadas.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1017/918http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1017/918Copyright © 2001 Manuel SierraAcceso abiertohttp://purl.org/coar/access_right/c_abf2Revista Universidad EAFIT, Vol. 37, No. 121 (2001)Sistema de lógica diagonal ld1, ld2,…ld42articleinfo:eu-repo/semantics/articlepublishedVersioninfo:eu-repo/semantics/publishedVersionArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1Paradoja del mentirosoTeoría de conjuntosBertrand RussellHaskell CurryLogica algebraicaSierra, ManuelUniversidad EAFITRevista Universidad EAFIT371216580THUMBNAILminiatura-rev-eafit.jpgminiatura-rev-eafit.jpgimage/jpeg118416https://repository.eafit.edu.co/bitstreams/c6d40199-19c5-4e9c-ae56-c2592cd366d0/download9ac51cb2b5f275d90bbb40324068baabMD51ORIGINALdocument (12).pdfdocument (12).pdfTexto completo PDFapplication/pdf314127https://repository.eafit.edu.co/bitstreams/36717662-9d29-46d3-9829-b88e859d8471/download773ca9f675ae1ee79fc83f1bc6c7cfe7MD52articulo.htmlarticulo.htmlTexto completo HTMLtext/html390https://repository.eafit.edu.co/bitstreams/da35f316-2f83-4270-a830-009feee886ee/downloadb52881bf2cd463dce21485ed7aab5b25MD5310784/17302oai:repository.eafit.edu.co:10784/173022021-09-03 15:08:34.026open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co
dc.title.spa.fl_str_mv Sistema de lógica diagonal ld1, ld2,…ld42
title Sistema de lógica diagonal ld1, ld2,…ld42
spellingShingle Sistema de lógica diagonal ld1, ld2,…ld42
Paradoja del mentiroso
Teoría de conjuntos
Bertrand Russell
Haskell Curry
Logica algebraica
title_short Sistema de lógica diagonal ld1, ld2,…ld42
title_full Sistema de lógica diagonal ld1, ld2,…ld42
title_fullStr Sistema de lógica diagonal ld1, ld2,…ld42
title_full_unstemmed Sistema de lógica diagonal ld1, ld2,…ld42
title_sort Sistema de lógica diagonal ld1, ld2,…ld42
dc.creator.fl_str_mv Sierra, Manuel
dc.contributor.author.spa.fl_str_mv Sierra, Manuel
dc.contributor.affiliation.spa.fl_str_mv Universidad EAFIT
dc.subject.keyword.spa.fl_str_mv Paradoja del mentiroso
Teoría de conjuntos
Bertrand Russell
Haskell Curry
Logica algebraica
topic Paradoja del mentiroso
Teoría de conjuntos
Bertrand Russell
Haskell Curry
Logica algebraica
description Los sistemas de Lógica Diagonal deben restringir la validez de la regla de modus ponens para poder soportar una forma abstracta de la paradoja de Russell. En este trabajo se presenta la construcción de una jerarquía de sistemas de Lógica Diagonal, en la cual diferentes formas de modus ponens son estudiadas.
publishDate 2001
dc.date.issued.none.fl_str_mv 2001
dc.date.available.none.fl_str_mv 2020-07-30T21:01:52Z
dc.date.accessioned.none.fl_str_mv 2020-07-30T21:01:52Z
dc.date.none.fl_str_mv 2001
dc.type.eng.fl_str_mv article
info:eu-repo/semantics/article
publishedVersion
info:eu-repo/semantics/publishedVersion
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_6501
http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.local.spa.fl_str_mv Artículo
status_str publishedVersion
dc.identifier.issn.none.fl_str_mv 0120-341X
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/10784/17302
identifier_str_mv 0120-341X
url http://hdl.handle.net/10784/17302
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.isversionof.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1017/918
dc.relation.uri.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1017/918
dc.rights.eng.fl_str_mv Copyright © 2001 Manuel Sierra
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.local.spa.fl_str_mv Acceso abierto
rights_invalid_str_mv Copyright © 2001 Manuel Sierra
Acceso abierto
http://purl.org/coar/access_right/c_abf2
dc.format.none.fl_str_mv application/pdf
dc.coverage.spatial.none.fl_str_mv Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
dc.publisher.spa.fl_str_mv Universidad EAFIT
dc.source.spa.fl_str_mv Revista Universidad EAFIT, Vol. 37, No. 121 (2001)
institution Universidad EAFIT
bitstream.url.fl_str_mv https://repository.eafit.edu.co/bitstreams/c6d40199-19c5-4e9c-ae56-c2592cd366d0/download
https://repository.eafit.edu.co/bitstreams/36717662-9d29-46d3-9829-b88e859d8471/download
https://repository.eafit.edu.co/bitstreams/da35f316-2f83-4270-a830-009feee886ee/download
bitstream.checksum.fl_str_mv 9ac51cb2b5f275d90bbb40324068baab
773ca9f675ae1ee79fc83f1bc6c7cfe7
b52881bf2cd463dce21485ed7aab5b25
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad EAFIT
repository.mail.fl_str_mv repositorio@eafit.edu.co
_version_ 1814110468502978560

Publicaciones similares