Ponencia
Preuve automatique dans le calcul propositionnel et les logiques trivalentes
Autor/es | Alonso Jiménez, José Antonio
Briales Morales, Emilio |
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 | 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 ... 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. |
Cita | Alonso Jiménez, J.A. y Briales Morales, E. (1987). Preuve automatique dans le calcul propositionnel et les logiques trivalentes. En Computational Topology and Geometry and Computation in Teaching of Mathematics, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Preuve automatique dans le calcul ... | 112.2Kb | [PDF] | Ver/ | |