Alonso Jiménez, José AntonioBriales Morales, Emilio2017-03-062017-03-061987Alonso 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.http://hdl.handle.net/11441/55313Nous 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.application/pdffraAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccess