Uniqueness of axiomatic extensions of cut-free classical propositional logic.

Mario Piazza Gabriele Pulcini

Published in: Log. J. IGPL (2016)

Keyphrases

propositional logic
horn logic
belief revision
first order logic
valued logic
quantified boolean formulae
truth maintenance systems
possibilistic logic
satisfiability testing
lattice theory
inference rules
belief change
possibility theory
propositional satisfiability
davis putnam