Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations

Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena

doi:10.1007/978-3-642-02614-0_9

Ponencia

dc.creator	Aranda Corral, Gonzalo A.	es
dc.creator	Borrego Díaz, Joaquín	es
dc.creator	Fernández Lebrón, María Magdalena	es
dc.date.accessioned	2018-05-21T08:41:54Z
dc.date.available	2018-05-21T08:41:54Z
dc.date.issued	2009
dc.identifier.citation	Aranda Corral, G.A., Borrego Díaz, J. y Fernández Lebrón, M.M. (2009). Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. En CICM 2009: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM: International Conference on Intelligent Computer Mathematics (45-58), Grand Bend, Canada: Springer.
dc.identifier.isbn	978-3-642-02613-3	es
dc.identifier.issn	0304-3975	es
dc.identifier.uri	https://hdl.handle.net/11441/74836
dc.description.abstract	We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful to compute the conservative retractions of propositional logic theories. In this paper we show the soundness and completeness of the logical calculus based on this rule, as well as other applications. The rule is defined by means of a new kind of operator on propositional formulae. It is based on the boolean derivatives on the polynomial ring F2[x].	es
dc.description.sponsorship	Junta de Andalucía Minerva Services in Mobility Platform Project WeTeVe (2C/040)	es
dc.description.sponsorship	Junta de Andalucía TIC 137	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	CICM 2009: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM: International Conference on Intelligent Computer Mathematics (2009), p 45-58
dc.rights	Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Conservative retraction	es
dc.subject	Independence rule	es
dc.subject	Boolean derivatives	es
dc.title	Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations	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 Matemática Aplicada I (ETSII)	es
dc.relation.projectID	WeTeVe 2C/040	es
dc.relation.projectID	TIC 137	es
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007/978-3-642-02614-0_9	es
dc.identifier.doi	10.1007/978-3-642-02614-0_9	es
idus.format.extent	14	es
dc.publication.initialPage	45	es
dc.publication.endPage	58	es
dc.eventtitle	CICM 2009: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM: International Conference on Intelligent Computer Mathematics	es
dc.eventinstitution	Grand Bend, Canada	es
dc.relation.publicationplace	Berlín	es
dc.identifier.sisius	6518041	es
dc.contributor.funder	Junta de Andalucía

Ficheros	Tamaño	Formato	Ver	Descripción
Conservative Retractions.pdf	278.5Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América