On Structural Analysis of Many Valued Logic

摘要

Traditional logic deals with systems of two binary variables, i.e., each variable being two valued. Boolean system deals with n binary variables. In this paper systems with n variables, each being m valued, are studied. Such systems are divided into three classes: balanced, whenever n = m; under-balanced, whenever m n. Some of the structural properties of these systems, e.g., reducibility and decomposability, as well as those of the components (i.e., individual functions), e.g., resolvability are considered. Relations among various (m, n)-systems are partially established. (Author)