Sign in
On structures of regular standard contradictions in propositional logic.
Xingxing He
Yingfang Li
Yanghe Feng
Published in:
Inf. Sci. (2022)
Keyphrases
</>
propositional logic
first order logic
belief revision
possibilistic logic
quantified boolean formulae
lattice theory
belief change
proof procedure
davis putnam
machine learning
expert systems
relational databases
satisfiability testing
horn logic