Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations | Publicación