Fixed-point Elimination in the Intuitionistic Propositional Calculus.

Silvio Ghilardi Maria João Gouveia Luigi Santocanale

Published in: ACM Trans. Comput. Log. (2020)

Keyphrases

fixed point
propositional calculus
linear logic
sufficient conditions
belief propagation
floating point
dynamical systems
fixed point theorem
constraint databases
default logic
bargaining solution
classical logic
free energy