DocumentCode
2460372
Title
Medium algebra MA and medium propositional calculus MP*
Author
Dongmou, Zhang
Author_Institution
Nantong Textile Sch., Jangsu, China
fYear
1989
fDate
29-31 May 1989
Firstpage
289
Lastpage
294
Abstract
The author establishes an algebraic system, which is equivalent to the propositional calculus system of medium logic MP*, for research in algebraic characteristics of MP*. The algebraic system is called medium algebra (MA). It is derived from Boolean algebra and possesses many similar properties. Several properties possessed by MA are presented and used to show that MA is essentially a three-valued algebra
Keywords
many-valued logics; Boolean algebra; algebraic system; medium logic; propositional calculus system; three-valued algebra; Boolean algebra; Calculus; Electrical capacitance tomography; Logic functions; Mathematics;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location
Guangzhou
Print_ISBN
0-8186-1947-3
Type
conf
DOI
10.1109/ISMVL.1989.37798
Filename
37798
Link To Document