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.