DocumentCode
2652346
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
fYear
1988
fDate
0-0 1988
Firstpage
186
Lastpage
193
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISMVL.1988.5172
Filename
5172
Link To Document