C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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