Completeness Proofs for Propositional Logic with Polynomial-Time Connectives.
John N. CrossleyPhilip J. ScottPublished in: Ann. Pure Appl. Log. (1989)
Keyphrases
- propositional logic
- valued logic
- first order logic
- equational theories
- inference rules
- theorem proving
- theorem prover
- sequent calculus
- belief revision
- possibilistic logic
- special case
- lattice theory
- quantified boolean formulae
- natural deduction
- computational complexity
- proof procedure
- satisfiability testing
- propositional satisfiability
- horn logic
- expressive power