International Journal of Uncertainty Fuzziness and Knowledge-Based Systems · 1999 · 25 citations · 0 references
Natural SciencesComputer ScienceMathematicsAlgebraLogicSet TheoryAxiomatic Set TheoryFuzzy LogicMany-valued LogicMathematical LogicSet OperationsTruth ConditionsFuzzy RelationsFuzzy SetsHeyting AlgebraKleene Logic
Different fuzzy logics were shown to be particular cases of many kinds of algebras, such as Lukasiewicz algebra, Heyting algebra, de Morgan algebra, Kleene algebra, etc. In this paper, following the original definitions of fuzzy set operations proposed by L. A. Zadeh, we consider the set of all possible fuzzy truth values, the set which contains linguistic truth values such as "true", "very true", "more or less true", etc. We show that if we impose some conditions on fuzzy truth values, then the resulting set of fuzzy truth vlues with naturally defined logical operations forms a de Morgan algebra.