Keyphrases
- fixed point
- linear logic
- cut elimination
- classical logic
- sequent calculus
- sufficient conditions
- floating point
- dynamical systems
- natural deduction
- belief propagation
- default logic
- variational inequalities
- logical framework
- constraint databases
- free energy
- fixed point theorem
- image registration
- fuzzy set theory
- logic programming
- graphical models
- pairwise