Naming Proofs in Classical Propositional Logic.

François Lamarche Lutz Straßburger

Published in: TLCA (2005)

Keyphrases

propositional logic
horn logic
first order logic
quantified boolean formulae
belief revision
valued logic
possibilistic logic
lattice theory
theorem proving
belief change
propositional satisfiability
theorem prover
propositional formulas
proof procedure
epistemic states
satisfiability testing
np complete