Proving theorems of the second order Lambek calculus in polynominal time.
Erik AartsPublished in: Stud Logica (1994)
Keyphrases
- sequent calculus
- cut elimination
- higher order
- proof search
- high order
- inference rules
- linear logic
- natural deduction
- digital topology
- data structure
- hessian matrix
- formal language
- provably correct
- data sets
- neural network
- automated deduction
- query language
- computer algebra
- image processing
- information retrieval
- machine learning