-valued propositional logic.

Wei Li Yuefei Sui

Published in: Frontiers Comput. Sci. (2022)

Keyphrases

propositional logic
valued logic
first order logic
belief revision
possibilistic logic
lattice theory
quantified boolean formulae
horn logic
proof procedure
davis putnam
artificial intelligence
solving hard
satisfiability testing
fuzzy logic
propositional formulas