Determination of the fittest number of truth-values and canonical forms of logical functions for a many-valued axiom set by a computer

Motinori Goto, Shinji Kao, Tomoko Ninomiya. Determination of the fittest number of truth-values and canonical forms of logical functions for a many-valued axiom set by a computer. In Proceedings of the eighth international symposium on Multiple-valued logic, MVL 1978, Rosemont, Illinois, USA, 1978. pages 195-201, IEEE Computer Society Press, 1978. [doi]

Abstract

Abstract is missing.