Universidad Complutense de Madrid
E-Prints Complutense

Una lógica computacional con polimorfismo y recursión y un sistema de deducción automática basado en ella

Impacto

Downloads

Downloads per month over past year



Nieva Soto, Susana (2015) Una lógica computacional con polimorfismo y recursión y un sistema de deducción automática basado en ella. [Thesis]

[img] PDF
5MB


Abstract

En la primera parte de la memoria se presenta una logica computacional, que es una logica de predicados con igualdad extendida con polimorfismo y recursion, junto con un sistema de deduccion natural, para esta logica se da una definicion precisa de su semantica y se demuestran buenas propiedades. Se comprueba que es adecuada para razonar acerca de funciones parciales, minimo punto fijo de funcionales y semantica denotacional, y para hacer demostraciones matematicas. Se presenta tambien una extension de los tableaux de Shullyan de primer orden que supone el uso de arboles w-ramificados e instancias monomorfica de las formulas de partida. El algoritmo de los tableaux se utiliza como guia en la construccion de calculos completos. Utilizndo esta propiedad se construye un sistema de reglas de deduccion natural y se prueba que como todo calculo ...


Item Type:Thesis
Additional Information:

Tesis Universidad Complutense de Madrid,Facultad de Matemáticas, Departamento de Informática y Automática, leída en Madrid, el 1 de junio de 1992; Dirigida por Javier Leach Albert.

Directors:
DirectorsDirector email
Leach Albert, Javier
Uncontrolled Keywords:Lógica simbólica y matemática
Subjects:Sciences > Mathematics
Sciences > Mathematics > Logic, Symbolic and mathematical
ID Code:51809
Deposited On:12 Mar 2019 12:50
Last Modified:12 Mar 2019 12:50

Origin of downloads

Repository Staff Only: item control page