Residuated logics based on strict triangular norms with an involutive negation.

Petr Cintula Erich-Peter Klement Radko Mesiar Mirko Navara

Published in: Math. Log. Q. (2006)

Keyphrases

triangular norms
fuzzy sets
expressive power
logic programs
truth values
modal logic
lower order
t norm
logic programming
inference rules
real time
rough sets
higher order
fuzzy set theory
evolutionary algorithm
predicate logic
artificial neural networks
pattern recognition
data mining