Natural deduction for the finite least fixed point logic with an infinitary rule.
Alexandre Matos ArrudaAna Teresa C. MartinsPublished in: Log. J. IGPL (2009)
Keyphrases
- fixed point
- natural deduction
- linear logic
- cut elimination
- intuitionistic logic
- inference rules
- sequent calculus
- theorem prover
- theorem proving
- linear time temporal logic
- sufficient conditions
- dynamical systems
- fixed point theorem
- floating point
- belief propagation
- default logic
- proof theoretic
- constraint databases
- image segmentation
- policy iteration
- modal logic
- logic programming
- query language