Loading…

Universal truth tables and normal forms

Turksen's (1995, 1986) fuzzy normal forms and Kandel et al.'s (1995) and Schwede and Kandel's (1977) fuzzy maps are unified to establish universal truth tables and normal forms. After an introduction to the topic, we start out with a discussion on linguistic assertions. Next, we devel...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on fuzzy systems 1998-05, Vol.6 (2), p.295-303
Main Authors: Turksen, I.B., Kandel, A., Yan-Qing Zhang
Format: Article
Language:English
Subjects:
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Turksen's (1995, 1986) fuzzy normal forms and Kandel et al.'s (1995) and Schwede and Kandel's (1977) fuzzy maps are unified to establish universal truth tables and normal forms. After an introduction to the topic, we start out with a discussion on linguistic assertions. Next, we develop a new universal truth table construction in order to generate normal forms for both the 16 main concepts of two variables, as well as the subconcepts that can be generated from them. It is shown how fuzzy propositional and fuzzy predicate expressions can be generated with the universal truth table construction. Furthermore, it is shown that the laws of conservation hold in a general way on the "fuzzified laws of exclude middle and contradiction" generated by the class of t norms and their dual t conorms.
ISSN:1063-6706
1941-0034
DOI:10.1109/91.669029