Listar MA - Tesis por autor "Pérez-de-Guzmán-Molina, Inmaculada"
Mostrando ítems 1-2 de 2
-
Reducciones totales y parciales para el análisis de validez y construcción de modelos en M3
Aguilera-Venegas, Gabriel(1997)
Esta tesis estudia la demostración automática de teoremas en lógicas trivaluadas. Concretamente se presenta un demostrador denominado tas-m3 para la lógica trivaluada completa m3. Esta tesis cuenta con una orientación ... -
Semántica funcional para lógicas temporales X modales. Definibilidad y Teoremas de completitud
Muñoz Velasco, Emilio José (2003)Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el campo de la Lógica Formal como parte de los Fundamentos Matemáticos de la Computación. Sin embargo, su motivación ha partido de un área ...