Title :
Integral calculus for multivalued logic algebra
Author :
Giuma, Tayeb A. ; Katbab, Abdollah ; Tapia, Moiez A.
Author_Institution :
Dept. of Electr. Eng. Florida Univ., Jacksonville, FL, USA
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.<>
Keywords :
algebra; integration; many-valued logics; compatible integrals; differential expression; digital system; exact integrals; integral calculus; multivalued logic algebra; necessary and sufficient conditions; Algebra; Algorithm design and analysis; Calculus; Circuit analysis computing; Circuit testing; Digital systems; Logic functions; Multivalued logic; Sufficient conditions; System testing;
Conference_Titel :
Multiple-Valued Logic, 1988., Proceedings of the Eighteenth International Symposium on
Conference_Location :
Palma de Mallorca, Spain
Print_ISBN :
0-8186-0859-5
DOI :
10.1109/ISMVL.1988.5172
