Ponencia
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
Autor/es | Aranda Corral, Gonzalo A.
Borrego Díaz, Joaquín Fernández Lebrón, María Magdalena |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) |
Fecha de publicación | 2009 |
Fecha de depósito | 2018-05-21 |
Publicado en |
|
ISBN/ISSN | 978-3-642-02613-3 0304-3975 |
Resumen | 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 ... 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]. |
Agencias financiadoras | Junta de Andalucía |
Identificador del proyecto | WeTeVe 2C/040
TIC 137 |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Conservative Retractions.pdf | 278.5Kb | [PDF] | Ver/ | |