 A further model that we briefly outline falls into the set-theoretical semantics paradigm of nonclassical logic and it is due to J. Michael Dunn and Robert K. Meyer (see Dunn and Meyer (1997)). CL and \(\lambda\)-calculi are inherently connected to intuitionistic, relevance and other nonclassical logics.  In particular, the \(\text{CL}_\triangleright\) and \(\text{CL}_=\) calculi are nonclassical logics themselves. Set theoretical semantics in which the intensional connectives are modeled from relations on a collection of situations have been the preferred interpretation of nonclassical logics since the early 1960s. These sorts of semantics are sometimes called “Kripke semantics” (because Kripke introduced possible-world semantics for some normal modal logics in 1959) or “gaggle semantics” (after the pronunciation of the abbreviation ‘ggl’ that stands for “generalized Galois logics” introduced by Dunn (1991)).