Tesis doctoral de Felip Maña Serres
En esta tesis se presentan procedimientos de prueba para logicas proposicionales multivaluadas. Se definen calculos completos, estructuras de datos eficientes, heuristicas para controlar el espacio de busqueda y tecnicas para ahorrar calculos no necesarios. en primer lugar, se diseñan algoritmos para comprobar la satisfactibilidad de formulas signadas (generales y regulares), los cuales sirven para resolver el problema de la satisfactibilidad en cualquier logica finitamente-valuada. Luego, se demuestra que el problema de la satisfactibilidad de formulas horn regulares tiene una complejidad lineal, y que el problema de la 2-satisfactibilidad para formulas signadas arbitrarias es np-completo, aunque admite soluciones polinomiles si las formulas son regulares o los signos son singletons. finalmente, se diseña un interprete lineal para una amplia familia de logicas infinitamente-valuadas, el cual esta basado en una regla de inferencia modus-ponens e incorpora una regla de negacion por fallo finito multivaluada y un operador de corte multivaluado.
Datos académicos de la tesis doctoral «Proof procedures for multiple-valued propositional logics.«
- Título de la tesis: Proof procedures for multiple-valued propositional logics.
- Autor: Felip Maña Serres
- Universidad: Autónoma de barcelona
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Gonzalo Escalada Imaz
- Tribunal
- Presidente del tribunal: Francesc Esteva Massaguer
- Reiner Hahnle (vocal)
- Buenaventura Verdu Solans (vocal)
- Jaume Agustí Cullell (vocal)