Listar MA - Tesis por autor "Aguilera-Venegas, Gabriel"
Mostrando ítems 1-1 de 1
-
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 ...