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

Author/s	Aranda Corral, Gonzalo A. Borrego Díaz, Joaquín Fernández Lebrón, María Magdalena
Department	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII)
Publication Date	2009
Deposit Date	2018-05-21
Published in	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
ISBN/ISSN	978-3-642-02613-3 0304-3975
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 ...
Funding agencies	Junta de Andalucía
Project ID.	WeTeVe 2C/040 TIC 137
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.