Browsing Ponencias (Matemática Aplicada I) by Subject "Boolean derivatives"
Now showing items 1-1 of 1
-
Presentation
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
(Springer, 2009)We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...