Resolution for Constrained Pseudo-Propositional Logic.

Ahmad-Saher Azizi-Sultan

Published in: CoRR (2023)

Keyphrases

propositional logic
valued logic
first order logic
belief revision
possibilistic logic
lattice theory
quantified boolean formulae
orders of magnitude
propositional satisfiability
satisfiability testing
search tree
horn logic