2026-06-05T21:43:48Zhttps://riuma.uma.es/rest/oai/request
oai:riuma.uma.es:10630/25122026-02-03T12:38:31Zcom_10630_2254col_10630_37957
RIUMA. Repositorio Institucional de la Universidad de Málaga advisor Pérez-de-Guzmán-Molina, Inmaculada author Aguilera-Venegas, Gabriel 2010-04-29T07:46:29Z 2010-04-29T07:46:29Z 1997 http://hdl.handle.net/10630/2512 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 a las aplicaciones y es de gran importancia la forma en la que se genera el modelo para la negación de la formula de entrada. Es un método que no está basado en resolución y por tanto no adolece de las deficiencias de este método(poca interacción con el ser humano, dificultad de obtener formas normales en lógicas no clásicas, etc.). Además de la demostración de corrección y completitud del método se demuestran otros teoremas relacionados con los procesos. El trabajo se complementa con un estudio comparativo con los métodos actualmente más utilizados. También se añaden capítulos en los que se introducen los conceptos que se utilizan a lo largo del trabajo así como un capítulo dedicado a las lógicas multivaluadas. Se añade un apéndice en el que se resume el demostrador para la lógica clásica TAS-D al que se le incorporan las mejoras que el estudio del caso multivaluado ha motivado. En la exposición y defensa se utiliza una implementación del método para entornos gráficos realizada en C++. spa Lógica simbólica y matemática - Tesis doctorales Reducciones totales y parciales para el análisis de validez y construcción de modelos en M3 doctoral thesis URL https://riuma.uma.es/bitstreams/d812e631-eb0d-4260-a772-96d264fbf6ae/download File MD5 70306546242ca23042e44e05879181a3 837356 application/pdf 17164473.pdf URL https://riuma.uma.es/bitstreams/098d550f-9ad8-49e8-9aa3-eb8e60cace48/download File MD5 12412ff5c1551b1b4412be81de71a3ad 315199 text/plain 17164473.pdf.txt