Fuzzifying groups based on complete residuated lattice-valued logic.

Published in: Inf. Sci. (1993)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
logic programs
first order logic
truth values
multi valued
stable models
real time
special case
graphical models
automated reasoning
datalog programs