Login / Signup
On the Existence of Propositional Proof Systems and Oracle-relativized Propositional Logic.
Shai Ben-David
Anna Gringauze
Published in:
Electron. Colloquium Comput. Complex. (1998)
Keyphrases
</>
propositional logic
first order logic
proof procedure
belief revision
quantified boolean formulae
truth maintenance systems
lattice theory
theorem proving
possibilistic logic
satisfiability testing
belief change
theorem prover
propositional satisfiability
horn clauses
horn logic
machine learning
domain knowledge