Presentation
Preuve automatique dans le calcul propositionnel et les logiques trivalentes
Author/s | 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 |
Publication Date | 1987 |
Deposit Date | 2017-03-06 |
Published in |
|
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 ... 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. |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Preuve automatique dans le calcul ... | 112.2Kb | ![]() | View/ | |