Ponencia
Lógicas polivalentes y bases de Gröbner
Autor/es | Alonso Jiménez, José Antonio |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla. Departamento de álgebra |
Fecha de publicación | 1987 |
Fecha de depósito | 2017-03-06 |
Publicado en |
|
Resumen | El objetivo de la comunicación es presentar una aplicación de las bases de Gröbner a la demostración automática en lógicas proposicionales polivalentes. La estructura de la comunicación es la siguiente: En la sección 1, ... El objetivo de la comunicación es presentar una aplicación de las bases de Gröbner a la demostración automática en lógicas proposicionales polivalentes. La estructura de la comunicación es la siguiente: En la sección 1, recordamos conceptos sintácticos y semánticos de las lógicas polivalentes. A continuación, reducimos el problema de la validez en lógicas polivalentes al de pertenencia a un ideal (sección 2) y al de cálculo de una base de Gröbner (sección 3). Finalmente, en la sección 4 damos algoritmos para resolver los anteriores problemas. |
Cita | Alonso Jiménez, J.A. (1987). Lógicas polivalentes y bases de Gröbner. En V Congreso de Lenguajes Naturales y Lenguajes Formales, Villafranca del Penedés. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Lógicas polivalentes y bases de ... | 127.3Kb | [PDF] | Ver/ | |