COMPLETE GENERATORS IN 4-VALUED LOGIC AND ROUSSEAU’S RESULTS

ABSTRACT

One of central problems of k-valued logic is identification and construction of complete generators (Sheffer functions). This problem is solved in 3-valued logic but is not solved in 4-valued logic. We prove Slupecki’s theorem for functions with partial ranges and use it to construct complete generators of the functions. We use Rousseau’s theorem to construct complete generators of functions with all ranges. For both cases we calculate the numbers of generators for every diagonal of the generators and give the minimal and maximal generators. The number of generators of functions with ranges of cardinal 2 equals 41 760, the number of generators of functions with ranges of cardinal 3 equals 32 969 664, and the number for cardinal 4 equals 942 897 552.

FULL TEXT