Buscar
Mostrando ítems 1-2 de 2
Ponencia
Preuve automatique dans le calcul propositionnel et les logiques trivalentes
(1987)
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 ...
Ponencia
Lógicas polivalentes y bases de Gröbner
(1987)
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, ...