Sufficient conditions for cut elimination with complexity analysis.
João RasgaPublished in: Ann. Pure Appl. Log. (2007)
Keyphrases
- sufficient conditions
- complexity analysis
- cut elimination
- theoretical analysis
- lower bound
- fixed point
- asymptotic stability
- computational complexity
- linear systems
- sequent calculus
- first order logic
- lyapunov function
- equilibrium point
- neural network
- upper bound
- artificial intelligence
- wide class
- logic programs
- exponential stability
- robust stability
- objective function
- efficiently computable