A propositional logic with 4 values: true, false, divergent and meaningless.

Jan A. Bergstra Inge Bethke Piet Rodenburg

Published in: J. Appl. Non Class. Logics (1995)

Keyphrases

propositional logic
belief revision
first order logic
quantified boolean formulae
possibilistic logic
belief change
davis putnam
machine learning
lower bound
propositional satisfiability
proof procedure
satisfiability testing
expert systems
propositional formulas
valued logic
horn logic