关键词: T-模逻辑, 析取范式, 拟对偶性, 拟排中律

Abstract: It presents the new concepts of the law of excluded middle and the pseudo law of excluded middle, and shows that classical logic（MTL with involutive negation） also holds the law of excluded middle（the pseudo law of excluded middle）, and proves that [Godel] fuzzy logic（Lukasiewicz（short for Luk） fuzzy logic） on minimum operator and maximum operator（on Lukasiewicz t-norm and Lukasiewicz t-conorm for reverse operator c） doesn’t hold pseudo duality and the pseudo law of excluded middle, and Luk fuzzy logic on Luk t-norm and Luk t-conorm for operator [?] holds pseudo duality and the law of excluded middle.

Key words: T-norm logic, dual disjunctive normal form, pseudo duality, pseudo law of excluded middle