This paper continues a study in fuzzy interval logic based on the Checklist Paradigm(CP) semantics of Bandler and Kohout. The law of excluded middle and the law of contradiction are investigated in the fuzzy interval logic system of negation, [¬ Bot, ¬ Top], which was defined by the Nicod(NOR) and the Sheffer(NAND) connectives of m1 interval system, respectively. Both laws don''t hold in the fuzzy logic with a classic negation, ¬ a = 1 − a; however, they do hold both with ¬ Bot and with ¬ Top in the checklist paradigm based fuzzy interval logic.
展开▼