Logics for residuated pseudo-uninorms and their residua.

Published in: Fuzzy Sets Syst. (2013)

Keyphrases

expressive power
propositional calculus
modal logic
proof theory
inference rules
nonmonotonic logics
classical logic
decision procedures
default reasoning
propositional dynamic logic
proof theoretic
epistemic logic
databases
logic programs
higher order
data structure
image processing
real world