How the checklist paradigm elucidates the semantics of fuzzy inference

The authors present some results on a theoretical semantic device called the checklist paradigm which gives the theoretical bounds on the performance of particular many-valued implication operators and other connectives. In its most general form, the checklist paradigm pairs the distinct connectives of the same logical type to provide the bounds for interval-valued approximate inference. The global structure imposed on the many-valued connectives by the certain type of checklist paradigm contracting measures is shown to be the S_2×2×2 group