Mostrar el registro sencillo del ítem

dc.contributor.advisorPé rez de Guzmá n Molina, Inmaculadaes_ES
dc.contributor.authorAguilera-Venegas, Gabriel es_ES
dc.contributor.otherDepartamento de Matemática Aplicadaes_ES
dc.date.accessioned2010-04-29T07:46:29Z
dc.date.available2010-04-29T07:46:29Z
dc.date.created1997
dc.date.issued1997
dc.identifier.urihttp://hdl.handle.net/10630/2512
dc.description.abstractEsta 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++.es_ES
dc.language.isospaes_ES
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subjectLógica simbólica y matemática - Tesis doctoraleses_ES
dc.titleReducciones totales y parciales para el análisis de validez y construcción de modelos en M3es_ES
dc.typeinfo:eu-repo/semantics/doctoralThesises_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem