A canonical disjunctive form of extended Kleene-Stone logic functions

The authors define α-KS logic functions as infinite multiple-valued logic functions, adding a unary operation to fuzzy logic functions. The unary operation introduced is an extension of a unary operation of Kleene-Stone logic functions. Any α-KS logic function can be expanded into a disjunctive form, but the form is not determined uniquely. A special disjunctive form that can be determined uniquely for a given α-KS logic function is shown