About the Proof-Theoretic Ordinals of Weak Fixed Point Theories.
Gerhard JägerBarbara PrimoPublished in: J. Symb. Log. (1992)
Keyphrases
- fixed point
- proof theoretic
- linear logic
- default reasoning
- cut elimination
- proof theory
- default logic
- nonmonotonic reasoning
- fixpoint
- sufficient conditions
- belief propagation
- model theoretic
- sequent calculus
- constraint logic programming
- pairwise
- dynamical systems
- deductive databases
- machine learning
- image matching
- graph cuts
- markov random field