Interpretación categórica para el cálculo de secuentes de la lógica intuicionista
Descripción del Articulo
Objetivo: La investigación tuvo como objetivo interpretar el cálculo de secuente de la Lógica Intuicionista con ayuda de la teoría de Categorías. Metodología: La metodología que se empleo fue de tipo teórica, de alcance descriptivo; el mismo que se sustentado en teorías de libros y revistas científi...
| Autor: | |
|---|---|
| Formato: | tesis de grado |
| Fecha de Publicación: | 2021 |
| Institución: | Universidad Nacional José Faustino Sánchez Carrión |
| Repositorio: | UNJFSC-Institucional |
| Lenguaje: | español |
| OAI Identifier: | oai:repositorio.unjfsc.edu.pe:20.500.14067/4322 |
| Enlace del recurso: | http://hdl.handle.net/20.500.14067/4322 |
| Nivel de acceso: | acceso abierto |
| Materia: | Lógica intuicionista Funtores Lógica Secuente Teoría de categorías https://purl.org/pe-repo/ocde/ford#1.01.00 |
| id |
UNJF_e9ecb648df5e46bc58738a3dccfde393 |
|---|---|
| oai_identifier_str |
oai:repositorio.unjfsc.edu.pe:20.500.14067/4322 |
| network_acronym_str |
UNJF |
| network_name_str |
UNJFSC-Institucional |
| repository_id_str |
4321 |
| dc.title.es_PE.fl_str_mv |
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista |
| title |
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista |
| spellingShingle |
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista Aira Ceferino, Félix Daniel Lógica intuicionista Funtores Lógica Secuente Teoría de categorías https://purl.org/pe-repo/ocde/ford#1.01.00 |
| title_short |
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista |
| title_full |
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista |
| title_fullStr |
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista |
| title_full_unstemmed |
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista |
| title_sort |
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista |
| author |
Aira Ceferino, Félix Daniel |
| author_facet |
Aira Ceferino, Félix Daniel |
| author_role |
author |
| dc.contributor.advisor.fl_str_mv |
Broncano Torres, Juan Carlos |
| dc.contributor.author.fl_str_mv |
Aira Ceferino, Félix Daniel |
| dc.subject.es_PE.fl_str_mv |
Lógica intuicionista Funtores Lógica Secuente Teoría de categorías |
| topic |
Lógica intuicionista Funtores Lógica Secuente Teoría de categorías https://purl.org/pe-repo/ocde/ford#1.01.00 |
| dc.subject.ocde.es_PE.fl_str_mv |
https://purl.org/pe-repo/ocde/ford#1.01.00 |
| description |
Objetivo: La investigación tuvo como objetivo interpretar el cálculo de secuente de la Lógica Intuicionista con ayuda de la teoría de Categorías. Metodología: La metodología que se empleo fue de tipo teórica, de alcance descriptivo; el mismo que se sustentado en teorías de libros y revistas científicas. Resultados: Los resultados encontrados indican que con la aplicación de la teoría de categorías se logra interpretar el cálculo de secuentes. Para lo cual, se desarrolló una interpretación algebraica de los fundamentos de la Lógica Intuicionista considerando para tal fin la interrelación entre la Lógica algebraica y la Lógica Intuicionista. Conclusión: Finalmente se concluyó que la gran importancia de la teoría de categorías para interpretar los secuentes y se recomienda a las autoridades de la Facultad de Ciencias revisar los planes de estudio y agregar temas de mayor profundidad además de los conocimientos básicas que se imparten |
| publishDate |
2021 |
| dc.date.accessioned.none.fl_str_mv |
2021-02-10T02:38:45Z |
| dc.date.available.none.fl_str_mv |
2021-02-10T02:38:45Z |
| dc.date.issued.fl_str_mv |
2021-01-25 |
| dc.type.es_PE.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.version.es_PE.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| format |
bachelorThesis |
| status_str |
acceptedVersion |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/20.500.14067/4322 |
| url |
http://hdl.handle.net/20.500.14067/4322 |
| dc.language.iso.es_PE.fl_str_mv |
spa |
| language |
spa |
| dc.relation.ispartof.fl_str_mv |
SUNEDU |
| dc.rights.es_PE.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.uri.es_PE.fl_str_mv |
https://creativecommons.org/licenses/by-nc-nd/4.0/ |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-nd/4.0/ |
| dc.format.es_PE.fl_str_mv |
application/pdf |
| dc.publisher.es_PE.fl_str_mv |
Universidad Nacional José Faustino Sánchez Carrión |
| dc.publisher.country.es_PE.fl_str_mv |
PE |
| dc.source.none.fl_str_mv |
reponame:UNJFSC-Institucional instname:Universidad Nacional José Faustino Sánchez Carrión instacron:UNJFSC |
| instname_str |
Universidad Nacional José Faustino Sánchez Carrión |
| instacron_str |
UNJFSC |
| institution |
UNJFSC |
| reponame_str |
UNJFSC-Institucional |
| collection |
UNJFSC-Institucional |
| bitstream.url.fl_str_mv |
https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/4322/1/AIRA%20CEFERINO%20F%c3%89LIX%20DANIEL.pdf https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/4322/2/license.txt https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/4322/3/AIRA%20CEFERINO%20F%c3%89LIX%20DANIEL.pdf.txt |
| bitstream.checksum.fl_str_mv |
0aec3062c006055b41c2a220f30d6b55 85e652b8dfa19b82485c505314e0a902 1be2a7cc297e8986c54e6ad3510d8b55 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional - UNJFSC |
| repository.mail.fl_str_mv |
repositorio@unjfsc.edu.pe |
| _version_ |
1847333769560719360 |
| spelling |
Broncano Torres, Juan CarlosAira Ceferino, Félix Daniel2021-02-10T02:38:45Z2021-02-10T02:38:45Z2021-01-25http://hdl.handle.net/20.500.14067/4322Objetivo: La investigación tuvo como objetivo interpretar el cálculo de secuente de la Lógica Intuicionista con ayuda de la teoría de Categorías. Metodología: La metodología que se empleo fue de tipo teórica, de alcance descriptivo; el mismo que se sustentado en teorías de libros y revistas científicas. Resultados: Los resultados encontrados indican que con la aplicación de la teoría de categorías se logra interpretar el cálculo de secuentes. Para lo cual, se desarrolló una interpretación algebraica de los fundamentos de la Lógica Intuicionista considerando para tal fin la interrelación entre la Lógica algebraica y la Lógica Intuicionista. Conclusión: Finalmente se concluyó que la gran importancia de la teoría de categorías para interpretar los secuentes y se recomienda a las autoridades de la Facultad de Ciencias revisar los planes de estudio y agregar temas de mayor profundidad además de los conocimientos básicas que se impartenapplication/pdfspaUniversidad Nacional José Faustino Sánchez CarriónPEinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/4.0/Lógica intuicionistaFuntoresLógicaSecuenteTeoría de categoríashttps://purl.org/pe-repo/ocde/ford#1.01.00Interpretación categórica para el cálculo de secuentes de la lógica intuicionistainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionreponame:UNJFSC-Institucionalinstname:Universidad Nacional José Faustino Sánchez Carrióninstacron:UNJFSCSUNEDUMatemática AplicadaUniversidad Nacional José Faustino Sánchez Carrión.Facultad de CienciasLicenciado en Matemática Aplicada15861538https://orcid.org/0000-0002-7148-455440254688541046Ríos Pérez, Isidro JavierHerrera Vega, Héctor AlexisMendoza Flores, Cristian Miltonhttps://purl.org/pe-repo/renati/level#tituloProfesionalhttps://purl.org/pe-repo/renati/type#tesisORIGINALAIRA CEFERINO FÉLIX DANIEL.pdfAIRA CEFERINO FÉLIX DANIEL.pdfapplication/pdf2296518https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/4322/1/AIRA%20CEFERINO%20F%c3%89LIX%20DANIEL.pdf0aec3062c006055b41c2a220f30d6b55MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81683https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/4322/2/license.txt85e652b8dfa19b82485c505314e0a902MD52TEXTAIRA CEFERINO FÉLIX DANIEL.pdf.txtAIRA CEFERINO FÉLIX DANIEL.pdf.txtExtracted texttext/plain99327https://repositorio.unjfsc.edu.pe/bitstream/20.500.14067/4322/3/AIRA%20CEFERINO%20F%c3%89LIX%20DANIEL.pdf.txt1be2a7cc297e8986c54e6ad3510d8b55MD5320.500.14067/4322oai:repositorio.unjfsc.edu.pe:20.500.14067/43222023-04-24 14:49:28.159Repositorio Institucional - UNJFSCrepositorio@unjfsc.edu.peTGljZW5jaWEgZGUgVXNvCiAKTGEgVW5pdmVyc2lkYWQgTmFjaW9uYWwgQWdyYXJpYSBMYSBNb2xpbmEgKFVOQUxNKSwgZGlmdW5kZSBtZWRpYW50ZSBzdSAKcmVwb3NpdG9yaW8gbG9zIHRyYWJham9zIGRlIGludmVzdGlnYWNpw7NuIHByb2R1Y2lkb3MgcG9yIGxvcyBtaWVtYnJvcyBkZSBsYSAKdW5pdmVyc2lkYWQuIEVsIGNvbnRlbmlkbyBkZSBsb3MgZG9jdW1lbnRvcyBkaWdpdGFsZXMgZXMgZGUgYWNjZXNvIGFiaWVydG8gCnBhcmEgdG9kYSBwZXJzb25hIGludGVyZXNhZGEuCgpTZSBhY2VwdGEgbGEgZGlmdXNpw7NuIHDDumJsaWNhIGRlIGxhIG9icmEsIHN1IGNvcGlhIHkgZGlzdHJpYnVjacOzbi4gUGFyYSBlc3RvIAplcyBuZWNlc2FyaW8gcXVlIHNlIGN1bXBsYSBjb24gbGFzIHNpZ3VpZW50ZXMgY29uZGljaW9uZXM6CgpFbCBuZWNlc2FyaW8gcmVjb25vY2ltaWVudG8gZGUgbGEgYXV0b3LDrWEgZGUgbGEgb2JyYSwgaWRlbnRpZmljYW5kbyBvcG9ydHVuYSB5CmNvcnJlY3RhbWVudGUgYSBsYSBwZXJzb25hIHF1ZSBwb3NlYSBsb3MgZGVyZWNob3MgZGUgYXV0b3IuCgpObyBlc3TDoSBwZXJtaXRpZG8gZWwgdXNvIGluZGViaWRvIGRlbCB0cmFiYWpvIGRlIGludmVzdGlnYWNpw7NuIGNvbiBmaW5lcyBkZSAKbHVjcm8gbyBjdWFscXVpZXIgdGlwbyBkZSBhY3RpdmlkYWQgcXVlIHByb2R1emNhIGdhbmFuY2lhcyBhIGxhcyBwZXJzb25hcyBxdWUgCmxvIGRpZnVuZGVuIHNpbiBlbCBjb25zZW50aW1pZW50byBkZWwgYXV0b3IgKGF1dG9yIGxlZ2FsKS4KCkxvcyB0cmFiYWpvcyBxdWUgc2UgcHJvZHV6Y2FuLCBhIHBhcnRpciBkZSBsYSBvYnJhLCBkZWJlbiBwb3NlZXIgbGEgY2l0YWNpw7NuIApwZXJ0aW5lbnRlIHRhbCBjb21vIGxvIGluZGljYW4gbGFzIE5vcm1hcyBUw6ljbmljYXMgZGVsIElJQ0EgeSBDQVRJRSBkZSAKUmVkYWNjacOzbiBkZSBSZWZlcmVuY2lhcyBCaWJsaW9ncsOhZmljYXMuIENhc28gY29udHJhcmlvLCBzZSBpbmN1cnJpcsOhIGVuIGxhIApmaWd1cmEganVyw61kaWNhIGRlbCBwbGFnaW8uCgpMb3MgZGVyZWNob3MgbW9yYWxlcyBkZWwgYXV0b3Igbm8gc29uIGFmZWN0YWRvcyBwb3IgbGEgcHJlc2VudGUgbGljZW5jaWEgZGUgdXNvLgoKRGVyZWNob3MgZGUgYXV0b3IKCkxhIFVOQUxNIG5vIHBvc2VlIGxvcyBkZXJlY2hvcyBkZSBwcm9waWVkYWQgaW50ZWxlY3R1YWwuIExvcyBkZXJlY2hvcyBkZSBhdXRvciAKc2UgZW5jdWVudHJhbiBwcm90ZWdpZG9zIHBvciBsYSBsZWdpc2xhY2nDs24gcGVydWFuYTogTGV5IHNvYnJlIGVsIERlcmVjaG8gZGUgCkF1dG9yIHByb211bGdhZG8gZW4gMTk5NiAoRC5MLiBOwrA4MjIpLCBMZXkgcXVlIG1vZGlmaWNhIGxvcyBhcnTDrWN1bG9zIDE4OMKwIHkgCjE4OcKwIGRlbCBkZWNyZXRvIGxlZ2lzbGF0aXZvIE7CsDgyMiwgTGV5IHNvYnJlIGRlcmVjaG9zIGRlIGF1dG9yIHByb211bGdhZG8gZW4gCjIwMDUgKExleSBOwrAyODUxNyksIERlY3JldG8gTGVnaXNsYXRpdm8gcXVlIGFwcnVlYmEgbGEgbW9kaWZpY2FjacOzbiBkZWwgCkRlY3JldG8gTGVnaXNsYXRpdm8gTsKwODIyLCBMZXkgc29icmUgZWwgRGVyZWNobyBkZSBBdXRvciBwcm9tdWxnYWRvIGVuIDIwMDggCihELkwuIE7CsDEwNzYpLgoKT2JzZXJ2YWNpb25lczoKCkluc2NyaWJpcnNlIGVuIENyZWF0aXZlIENvbW1vbnMgQkFOCiAK |
| score |
12.857079 |
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).
