Fixed-point elimination in the intuitionistic propositional calculus.

Silvio Ghilardi Maria João Gouveia Luigi Santocanale

Published in: CoRR (2016)

Keyphrases

fixed point
propositional calculus
linear logic
sufficient conditions
dynamical systems
fixed point theorem
default logic
constraint databases
classical logic
floating point
belief propagation
bargaining solution
variational inequalities
computer vision
boundary conditions
three dimensional
knowledge base