Class-based Classical Propositional Logic.

Published in: Arch. Formal Proofs (2022)

Keyphrases

propositional logic
minimal models
first order logic
horn logic
belief revision
possibilistic logic
valued logic
lattice theory
quantified boolean formulae
satisfiability testing
belief change
proof procedure
orders of magnitude
davis putnam