Login / Signup
Optimal proof systems for Propositional Logic and complete sets
Jochen Meßner
Jacobo Torán
Published in:
Electron. Colloquium Comput. Complex. (1997)
Keyphrases
</>
propositional logic
first order logic
belief revision
optimal solution
theorem proving
possibilistic logic
proof procedure
lattice theory
satisfiability testing
artificial intelligence
constraint satisfaction