Agregando polimorfismo a una lógica que identifica proposiciones isomorfas

Mostrar todas las versiones(2)

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 m...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Sottile, Cristian
Otros Autores: Díaz Caro, Alejandro
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2020
Materias:
Ciencias Informáticas
Cálculo Lambda
Teoría de tipos
Isomorfismos de tipos
Polimorfismo
Sistema de pruebas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/118544
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-118544
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Cálculo Lambda
Teoría de tipos
Isomorfismos de tipos
Polimorfismo
Sistema de pruebas
spellingShingle Ciencias Informáticas
Cálculo Lambda
Teoría de tipos
Isomorfismos de tipos
Polimorfismo
Sistema de pruebas
Sottile, Cristian
Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
topic_facet Ciencias Informáticas
Cálculo Lambda
Teoría de tipos
Isomorfismos de tipos
Polimorfismo
Sistema de pruebas
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.
author2 Díaz Caro, Alejandro
author_facet Díaz Caro, Alejandro
Sottile, Cristian
format Tesis
Tesis de grado
author Sottile, Cristian
author_sort Sottile, Cristian
title Agregando polimorfismo a una lógica que identifica proposiciones isomorfas
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
publishDate 2020
url http://sedici.unlp.edu.ar/handle/10915/118544
work_keys_str_mv AT sottilecristian agregandopolimorfismoaunalogicaqueidentificaproposicionesisomorfas
bdutipo_str Repositorios
_version_ 1764820448102580225

Ejemplares similares