Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value

Abstract

Equivalent overdetermined and underdetermined bivalent Belnap–Dunn type semantics for the logics determined by all natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value are provided.