Abstract — In this paper, we examine and compare De Morgan-, Kleene-, and Boolean-disjunctive and conjunctive normal forms and consider their role in fuzzy settings. In particular, we show that there are normal forms and truth tables for classical fuzzy propositional logic and intervalvalued fuzzy propositional logic that are completely analogous to those for Boolean propositional logic. Thus, determining logical equivalence of two expressions in classical fuzzy propositional logic is a nite problem, and similarly for the intervalvalued case. Turksen's work on interval-valued fuzzy sets is examined in light of these results. I
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.