Propositions in Prepositional Logic Provable Only by Indirect Proofs.
Jan EkmanPublished in: Math. Log. Q. (1998)
Keyphrases
- cut elimination
- natural deduction
- truth values
- sequent calculus
- proof search
- theorem proving
- multi valued
- automated reasoning
- theorem prover
- classical logic
- modal logic
- inference rules
- computational properties
- nonmonotonic logics
- logic programming
- linear logic
- propositional dynamic logic
- proof theory
- formal proofs
- proof procedure
- probabilistic logic
- search engine
- decision procedures
- social networks
- neural network