Editor's Note: See also the Follow-on Article that describes how to generate Gray Codes for non-power-of-2 sequences. Note that the correct grammar and spelling for Gray codes is “Gray” (not “gray”, ...

This paper deals with two sorts of binary Kripke-style semantics, i.e., algebraic and non-algebraic semantics, for three-valued logic. We first introduce three systems, their corresponding algebraic ...