Intuitionistic fixed point logic.
Ulrich BergerHideki TsuikiPublished in: Ann. Pure Appl. Log. (2021)
Keyphrases
- fixed point
- linear logic
- cut elimination
- sequent calculus
- classical logic
- sufficient conditions
- floating point
- default logic
- variational inequalities
- dynamical systems
- belief propagation
- constraint databases
- bargaining solution
- logic programming
- natural deduction
- fixed point theorem
- modal logic
- higher order
- free energy
- graphical models
- reinforcement learning