-Valued Lukasiewicz Propositional Logic.

M. Gordon Beavers

Published in: Notre Dame J. Formal Log. (1993)

Keyphrases

propositional logic
valued logic
first order logic
truth values
belief revision
modal logic
possibilistic logic
proof procedure
quantified boolean formulae
davis putnam
lattice theory
satisfiability testing
belief change
artificial intelligence
propositional satisfiability
theorem proving