Title :
Medium algebra MA and medium propositional calculus MP*
Author_Institution :
Nantong Textile Sch., Jangsu, China
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;
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
DOI :
10.1109/ISMVL.1989.37798
