The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬.

Wei Li Yuefei Sui

Published in: Frontiers Comput. Sci. (2017)

Keyphrases

propositional logic
valued logic
belief revision
first order logic
logical theories
truth values
possibilistic logic
quantified boolean formulae
lattice theory
propositional satisfiability
propositional formulas
davis putnam
logical framework
belief change
classical logic
fuzzy logic
proof procedure
horn logic