Tesis doctoral de Pedro Jesús Martin De La Calle
Las tesis presenta sistemas de tableaux para tres extensiones de la lógica de pimer orden. En cada una de ellas se estudian métodos de tableaux correctos y completos en dos versiones: básica y de variables libre. la primera es una lógica con preórdenes y géneros dinámicos (lpgd); adimite fórmulas que expresen relación de preorden entre términos y relaciónde subtipo entre géneros. Las funciones y predicados son, en todos sus argumentos, monótonas o antimonótonas, y los tableaux actúan de forma que, en cada expansión de una rama por razón de anti-monotonía de alguna operación, se asegure que la fórmula introducida respeta la jerarquía de géneros contenida en la rama. la segunda es una lógica con declaraciones de términos ldt que extiende lpgd permitiendo la declaración explícita de un término como perteneciente a un género dado, aunque no permite relación de preorden entre los datos. para ldt se estudian y definen las sustituciones sobre tableaux convariables libres que consevan la corrección de la expansión de ramas, y se presenta un cálculo correcto, completo y termiante para resolver los problemas de unificación rígida ordenada que se dan en el cierre de tableaux. en la tercera es una lógica con preórdenes monótonos lpm. Se trata de una lógica homogénea que admite relaciónde preorden entre datos, pero no jerarquías dinámicas entre género. Lpm se estudia en dos fases; en la primera no se considera la monotonía en las operaciones y se obtiene un cálculo correcto, completo y terminante para la resolución de los problemas de unificación rígida preordenada que se presentan en el cierre de tableaux; este cálculo es mejorado con la introducción de órdenes de reducción. en la segunda fase se supone que las operaciones son monótonas en todos sus argumentos y se define un cálculo correcto y completo, pero no terminante, para la resolución de los respectivos problemas de unificación ríg
Datos académicos de la tesis doctoral «Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas«
- Título de la tesis: Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas
- Autor: Pedro Jesús Martin De La Calle
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 05/10/2000
Dirección y tribunal
- Director de la tesis
- Antonio Gavilanes Franco
- Tribunal
- Presidente del tribunal: mario Rodríguez artalejo
- francisca Lucio carrasco (vocal)
- jaume Agustí cullell (vocal)
- robert lukas mario Nieuwenhuis (vocal)