Non-strictly positive fixed points for classical natural deduction.
Ralph MatthesPublished in: Ann. Pure Appl. Log. (2005)
Keyphrases
- fixed point
- natural deduction
- linear logic
- cut elimination
- sequent calculus
- intuitionistic logic
- inference rules
- approximate value iteration
- theorem prover
- temporal difference learning
- dynamical systems
- theorem proving
- sufficient conditions
- positive and negative
- belief propagation
- asymptotic properties
- logic programming
- first order logic