Unification with parameters in the implication fragment of classical propositional logic.

Philippe Balbiani Mojtaba Mojtahedi

Published in: Log. J. IGPL (2022)

Keyphrases

propositional logic
first order logic
belief revision
horn logic
possibilistic logic
lattice theory
valued logic
quantified boolean formulae
davis putnam
integrity constraints
propositional satisfiability
horn contraction