Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
Harold T. Hodes · Annals of Pure and Applied Logic · 1989
)v =s z or (3v)v =s z or these with '=< replacing '=H.variable not occurhg in T.following 'truth-tables' (Tables l-3).'v' have the weak-Kleene (alias the Bochvar) ' and 'v' have the strong-Kleene semantics; &' is a W +p is more easily satis5ed that is q 3 +; 'q' is a