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 F 2[X].|. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Aranda-Corral, G. A., Borrego-Díaz, J., & Fernández-Lebrón, M. M. (2009). Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5625 LNAI, pp. 45–58). https://doi.org/10.1007/978-3-642-02614-0_9
Mendeley helps you to discover research relevant for your work.