Syntax theory of finite lattice-valued propositional logic.

Xiaodong Pan Dan Meng Yang Xu

Published in: Sci. China Inf. Sci. (2013)

Keyphrases

propositional logic
belief revision
first order logic
minimal models
proof procedure
satisfiability testing
valued logic
quantified boolean formulae
lattice theory
possibilistic logic
operational semantics
davis putnam
logical theories
query language
truth maintenance systems