Listar por autor "Pérez-de-Guzmán-Molina, Inmaculada"
Mostrando ítems 1-3 de 3
-
A multi-modal logic for Galois connections
Burrieza-Muñiz, Alfredo
; Pérez-de-Guzmán-Molina, Inmaculada; Yuste-Ginel, Antonio (College Publications, 2022-07-19)
-
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
(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 ...