 The set of all meanings in \(\Inq_B\), together with a suitable notion of entailment, form a Heyting algebra, just like the set of all meanings in classical logic ordered by classical entailment (Roelofsen 2013). Thus, the basic connectives (disjunction, conjunction, implication, and negation) can be associated with the basic algebraic operations on meanings (join, meet, and (relative) pseudo-complementation), just as in classical logic. This is indeed how the connectives are treated in \(\Inq_B\), although other treatments of the connectives are also conceivable in this setting (see, e.g., Ciardelli et al. 2015).