Title :
Inequalities in De Morgan systems. II
Author :
Walker, Carol ; Walker, Elbert
Author_Institution :
New Mexico State Univ., Las Cruces, NM, USA
fDate :
6/24/1905 12:00:00 AM
Abstract :
For pt.I see ibid., p.607-9(2002). Turksen (1986) looked at the Boolean-disjunctive normal form of a term in two variables and the Boolean-conjunctive normal form of that term. He concluded that "for some cases of certain families," when these forms are interpreted in a De Morgan system by replacing the meet by a t-norm and the join by the dual t-conorm, the disjunctive normal form is contained in the conjunctive normal form. We give examples where some of these inequalities fail to hold for a large class of t-norms, and also give examples where they do hold
Keywords :
Boolean algebra; duality (mathematics); fuzzy logic; fuzzy set theory; Boolean-conjunctive normal form; Boolean-disjunctive normal form; De Morgan systems; dual t-conorm; inequalities; t-norm; Boolean algebra; Fuzzy sets;
Conference_Titel :
Fuzzy Systems, 2002. FUZZ-IEEE'02. Proceedings of the 2002 IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-7803-7280-8
DOI :
10.1109/FUZZ.2002.1005062