Login / Signup
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.
Luiz Carlos Pereira
Edward Hermann Haeusler
Vaston G. Costa
Wagner Sanz
Published in:
Stud Logica (2010)
Keyphrases
</>
propositional logic
belief revision
horn logic
first order logic
possibilistic logic
valued logic
lattice theory
belief change
satisfiability testing
quantified boolean formulae
search strategy
proof procedure
propositional satisfiability
davis putnam
orders of magnitude
expert systems
fuzzy sets