Login / Signup
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations.
Gonzalo A. Aranda-Corral
Joaquín Borrego-Díaz
María Magdalena Fernández-Lebrón
Published in:
Calculemus/MKM (2009)
Keyphrases
</>
propositional logic
theoretical foundation
theoretical framework
first order logic
belief revision
possibilistic logic
lattice theory
quantified boolean formulae
propositional formulas
horn logic
valued logic
proof procedure
conjunctive normal form
belief change
logical theories
domain knowledge
search space