Repositorio de producción científica de la Universidad de Sevilla

Lógicas polivalentes y bases de Gröbner

 

Advanced Search
 
Opened Access Lógicas polivalentes y bases de Gröbner
Cites
Show item statistics
Icon
Export to
Author: 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
Date: 1987
Document type: Presentation
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, 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.
Size: 127.3Kb
Format: PDF

URI: http://hdl.handle.net/11441/55342

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)