A characterization of truth-functions in the nilpotent minimum logic.

San-Min Wang Bao-Shu Wang Xiang-Yun Wang

Published in: Fuzzy Sets Syst. (2004)

Keyphrases

multi valued
truth values
logic programming
classical logic
genetic algorithm
lower bound
special case
programming language
propositional logic
predicate logic
valued logic
square error