Login / Signup
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.
Sándor Jenei
Published in:
Arch. Math. Log. (2023)
Keyphrases
</>
fixed point
linear logic
sufficient conditions
fixed point theorem
dynamical systems
logic programming
floating point
variational inequalities
belief propagation
constraint databases
pairwise
expressive power
objective function
finite number
policy iteration
free energy
knowledge base
computer vision