Fixed-Point Elimination in the Intuitionistic Propositional Calculus.

Silvio Ghilardi Maria João Gouveia Luigi Santocanale

Published in: FoSSaCS (2016)

Keyphrases

fixed point
propositional calculus
linear logic
sufficient conditions
floating point
bargaining solution
default logic
variational inequalities
constraint databases
image sequences
dynamical systems
belief propagation
fixed point theorem
image matching
policy iteration