Preuve automatique dans le calcul propositionnel et les logiques trivalentes

Alonso Jiménez, José Antonio; Briales Morales, Emilio

Ponencia

dc.creator	Alonso Jiménez, José Antonio	es
dc.creator	Briales Morales, Emilio	es
dc.date.accessioned	2017-03-06T09:18:11Z
dc.date.available	2017-03-06T09:18:11Z
dc.date.issued	1987
dc.identifier.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.
dc.identifier.uri	http://hdl.handle.net/11441/55313
dc.description.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.	es
dc.format	application/pdf	es
dc.language.iso	fra	es
dc.relation.ispartof	Computational Topology and Geometry and Computation in Teaching of Mathematics (1987).
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Preuve automatique dans le calcul propositionnel et les logiques trivalentes	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/submittedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de álgebra	es
dc.contributor.group	Universidad de Sevilla. TIC137: Lógica, Computación e Ingeniería del Conocimiento	es
dc.contributor.group	Universidad de Sevilla. FQM366: Álgebras de Semigrupos, Computación y Aplicaciones	es
idus.format.extent	10 p.	es
dc.eventtitle	Computational Topology and Geometry and Computation in Teaching of Mathematics	es
dc.eventinstitution	Sevilla	es

Ficheros	Tamaño	Formato	Ver	Descripción
Preuve automatique dans le calcul ...	112.2Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Álgebra)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional