Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.
Evan GorisPublished in: Theory Comput. Syst. (2008)
Keyphrases
- natural deduction
- cut elimination
- theorem proving
- theorem prover
- sequent calculus
- formal proof
- automated reasoning
- arithmetic operations
- decision procedures
- modal logic
- mathematical proofs
- equational theories
- formal proofs
- automated theorem proving
- machine learning
- real time
- neural network
- interactive theorem proving
- logical operations
- proof search
- linear logic
- case study
- information systems
- data mining