Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic.

Yang Xu Shuwei Chen Jun Liu Da Ruan

Published in: IFSA (2) (2007)

Keyphrases

valued logic
propositional logic
first order logic
belief revision
possibilistic logic
quantified boolean formulae
natural language
propositional satisfiability
davis putnam
belief change
proof procedure
lattice theory