Weak arithmetical interpretations for the Logic of Proofs.
Roman KuznetsThomas StuderPublished in: Log. J. IGPL (2016)
Keyphrases
- natural deduction
- cut elimination
- proof search
- modal logic
- sequent calculus
- linear logic
- theorem prover
- classical logic
- asynchronous circuits
- theorem proving
- automated reasoning
- computational properties
- decision procedures
- mathematical proofs
- defeasible logic
- multi valued
- inference rules
- databases
- logical framework
- valued logic
- logic programming
- deductive reasoning
- real time