Intuitionistic Fixed Point Theories for Strictly Positive Operators.

Christian Rüede Thomas Strahm

Published in: Math. Log. Q. (2002)

Keyphrases

fixed point
linear logic
closure operator
belief propagation
sufficient conditions
fixed point theorem
dynamical systems
floating point
free energy
policy iteration
three dimensional
fuzzy numbers
pairwise
variational inequalities
fuzzy set theory
constraint databases
default logic