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