The Resolution for Ruogh Propositional Logic with Lower (L) and Upper (h) Approximate Operators.

Published in: RSFDGrC (1999)

Keyphrases

propositional logic
valued logic
belief revision
first order logic
lattice theory
quantified boolean formulae
morphological operators
possibilistic logic
belief change
proof procedure
propositional satisfiability
davis putnam
satisfiability testing
relational databases
propositional formulas
horn logic