Interval Negation in Fuzzy Logics

This paper continues investigation of systems of fuzzy interval logics based on the Checklist Paradigm semantics of Bandler and Kohout. The paper looks at the alternative negations that may appear in the interval system rti. In the previous papers dealing with checklist paradigm based interval systems the 2ary connectives were the interval connectives but the negation was just a point, 1 - a, not an interval. In this paper we look at genuine interval pairs of negations in system m₁. We compare negations generated by the Sheffer (NAND), the Nicod (NOR) and the implication connectives. We can see that each of these connectives defines a different negation, unlike in the case of 2-valued logic.