Integral calculus for multivalued logic algebra

Abstract

The concept of integration for multivalued logic (MVL) algebra is introduced, and techniques for obtaining an MVL function, the desired changes of which are given in terms of changes in its arguments, are developed. Two types of integrals, namely, exact and compatible integrals, are defined. The necessary and sufficient conditions for the existence of compatible integrals for a given differential expression and ways of realizing these integrals are presented here. Integral calculus has application in the design of an MVL digital system.<>