The fixed point and the Craig interpolation properties for sublogics of bfIL.

Sohei Iwata Taishi Kurahashi Yuya Okawa

Published in: Arch. Math. Log. (2024)

Keyphrases

fixed point
initial conditions
sufficient conditions
desirable properties
variational inequalities
dynamical systems
fixed point theorem
floating point
three dimensional
image sequences
preprocessing
free energy
bargaining solution
computer vision
belief propagation
constraint databases