Uninorm logic with the n-potency axiom.

Published in: Fuzzy Sets Syst. (2012)

Keyphrases

modal logic
logic programming
automated reasoning
classical logic
inference rules
dynamic logic
data structure
epistemic logic
proof theory
databases
natural deduction
linear logic
formal theory
formal language
video sequences
similarity measure
artificial intelligence
learning algorithm
real world