An extension of computational logic
Alan Rose · Journal of Symbolic Logic · 1952
There has recently been developed a system of computational logic to which was given an interpretation in terms of the 2-valued propositional calculus. The object of the present paper is to give the corresponding theory for 3-valued logic. We use the same notation as Levin, except that instead of using the numeral “2” as a constant, we use “3”.