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

Preuve automatique dans le calcul propositionnel et les logiques trivalentes

 

Advanced Search
 
Opened Access Preuve automatique dans le calcul propositionnel et les logiques trivalentes
Cites
Show item statistics
Icon
Export to
Author: Alonso Jiménez, José Antonio
Briales Morales, Emilio
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: Nous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies dans le Calcul Propositionnel et dans trois types de logiques trivalentes. L’idée base est de transformer les formules en polynômes, et de trouver l’´equivalent algèbrique de la déduction: nous verons des théorèmes faisant la liaison entre déduction et crièeres de réduction algèbrique.
Size: 112.2Kb
Format: PDF

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

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

This item appears in the following Collection(s)