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

Gemma Robles, José M. Méndez · Logic Journal of IGPL · 2019

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.

Read the paper · More papers on PaperTik