The laws of excluded middle and contradiction in checklist paradigm based fuzzy interval logic

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 m₁ 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.