Agregando polimorfismo a una lógica que identifica proposiciones isomorfas

Autores
Sottile, Cristian
Año de publicación
2020
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión aceptada
Colaborador/a o director/a de tesis
Díaz Caro, Alejandro
Pons, Claudia Fabiana
Descripción
Tanto los sistemas de tipos como los sistemas de pruebas distinguen elementos que tienen diferente forma aunque tengan el mismo significado, como pueden ser las pruebas de las conjunciones AB y BA, por lo cual una prueba de una no constituye una prueba de la otra, a pesar de que se puede demostrar mediante la existencia de un isomorfismo que dichas proposiciones son equivalentes. Sistema I es un cálculo lambda simplemente tipado con pares, extendido con una teoría ecuacional obtenida a partir de los isomorfismos de tipos existentes entre los tipos simples con pares, de forma tal que las proposiciones con mismo significado son equivalentes. En este trabajo proponemos una extensión de Sistema I hacia polimorfismo, añadiendo al sistema de tipos el cuantificador universal y sus isomorfismos relacionados.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Informática
Materia
Ciencias Informáticas
Cálculo Lambda
Teoría de tipos
Isomorfismos de tipos
Polimorfismo
Sistema de pruebas
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/118544
Acceder
id SEDICI_a10ffa1598c51dcf34de45666f1dc214
oai_identifier_str oai:sedici.unlp.edu.ar:10915/118544
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Agregando polimorfismo a una lógica que identifica proposiciones isomorfasSottile, CristianCiencias InformáticasCálculo LambdaTeoría de tiposIsomorfismos de tiposPolimorfismoSistema de pruebasTanto los sistemas de tipos como los sistemas de pruebas distinguen elementos que tienen diferente forma aunque tengan el mismo significado, como pueden ser las pruebas de las conjunciones AB y BA, por lo cual una prueba de una no constituye una prueba de la otra, a pesar de que se puede demostrar mediante la existencia de un isomorfismo que dichas proposiciones son equivalentes. Sistema I es un cálculo lambda simplemente tipado con pares, extendido con una teoría ecuacional obtenida a partir de los isomorfismos de tipos existentes entre los tipos simples con pares, de forma tal que las proposiciones con mismo significado son equivalentes. En este trabajo proponemos una extensión de Sistema I hacia polimorfismo, añadiendo al sistema de tipos el cuantificador universal y sus isomorfismos relacionados.Licenciado en InformáticaUniversidad Nacional de La PlataFacultad de InformáticaDíaz Caro, AlejandroPons, Claudia Fabiana2020-03-10info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionTesis de gradohttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/118544spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:27:54Zoai:sedici.unlp.edu.ar:10915/118544Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:27:54.806SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
spellingShingle Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
Sottile, Cristian
Ciencias Informáticas
Cálculo Lambda
Teoría de tipos
Isomorfismos de tipos
Polimorfismo
Sistema de pruebas
title_short Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_full Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_fullStr Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_full_unstemmed Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
title_sort Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
dc.creator.none.fl_str_mv Sottile, Cristian
author Sottile, Cristian
author_facet Sottile, Cristian
author_role author
dc.contributor.none.fl_str_mv Díaz Caro, Alejandro
Pons, Claudia Fabiana
dc.subject.none.fl_str_mv Ciencias Informáticas
Cálculo Lambda
Teoría de tipos
Isomorfismos de tipos
Polimorfismo
Sistema de pruebas
topic Ciencias Informáticas
Cálculo Lambda
Teoría de tipos
Isomorfismos de tipos
Polimorfismo
Sistema de pruebas
dc.description.none.fl_txt_mv Tanto los sistemas de tipos como los sistemas de pruebas distinguen elementos que tienen diferente forma aunque tengan el mismo significado, como pueden ser las pruebas de las conjunciones AB y BA, por lo cual una prueba de una no constituye una prueba de la otra, a pesar de que se puede demostrar mediante la existencia de un isomorfismo que dichas proposiciones son equivalentes. Sistema I es un cálculo lambda simplemente tipado con pares, extendido con una teoría ecuacional obtenida a partir de los isomorfismos de tipos existentes entre los tipos simples con pares, de forma tal que las proposiciones con mismo significado son equivalentes. En este trabajo proponemos una extensión de Sistema I hacia polimorfismo, añadiendo al sistema de tipos el cuantificador universal y sus isomorfismos relacionados.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Informática
description Tanto los sistemas de tipos como los sistemas de pruebas distinguen elementos que tienen diferente forma aunque tengan el mismo significado, como pueden ser las pruebas de las conjunciones AB y BA, por lo cual una prueba de una no constituye una prueba de la otra, a pesar de que se puede demostrar mediante la existencia de un isomorfismo que dichas proposiciones son equivalentes. Sistema I es un cálculo lambda simplemente tipado con pares, extendido con una teoría ecuacional obtenida a partir de los isomorfismos de tipos existentes entre los tipos simples con pares, de forma tal que las proposiciones con mismo significado son equivalentes. En este trabajo proponemos una extensión de Sistema I hacia polimorfismo, añadiendo al sistema de tipos el cuantificador universal y sus isomorfismos relacionados.
publishDate 2020
dc.date.none.fl_str_mv 2020-03-10
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/acceptedVersion
Tesis de grado
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/118544
url http://sedici.unlp.edu.ar/handle/10915/118544
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616157016883200
score 13.070432

Publicaciones similares