Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version).

Silvio Ghilardi Maria João Gouveia Luigi Santocanale

Published in: CoRR (2018)

Keyphrases

fixed point
propositional calculus
linear logic
sufficient conditions
dynamical systems
fixed point theorem
floating point
variational inequalities
belief propagation
free energy
constraint databases
bargaining solution
policy iteration
data model
default logic
utility function
probabilistic model