Presentation
Lógicas polivalentes y bases de Gröbner
Author/s | Alonso Jiménez, José Antonio |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla. Departamento de álgebra |
Publication Date | 1987 |
Deposit Date | 2017-03-06 |
Published in |
|
Abstract | 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. |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Lógicas polivalentes y bases de ... | 127.3Kb | [PDF] | View/ | |