Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic.

Cungen Cao Lanxi Hu Yuefei Sui

Published in: Frontiers Comput. Sci. (2021)

Keyphrases

propositional logic
nonmonotonic logics
truth maintenance systems
minimal models
first order logic
valued logic
belief revision
proof procedure
lattice theory
quantified boolean formulae
nonmonotonic reasoning
possibilistic logic
expert systems
theorem proving
davis putnam