Title :
On the reliability of the predical calculus system (MF) of medium logic
Author_Institution :
Xingyi Teachers´´ Coll., Gueizhou, China
Abstract :
Medium predical logic (MF) is the common theoretical foundation of classical mathematics and fuzzy mathematics. It has been formalized as a new theory of logic. The author deals with its reliability. The result shows that formal inference of MF consists of deductive inference, and that MF reliably reflects the deductive inference
Keywords :
fuzzy logic; inference mechanisms; classical mathematics; deductive inference; formal inference; fuzzy mathematics; medium logic; predical calculus system; reliability; Calculus; Cost accounting; Educational institutions; Fuzzy logic; Fuzzy sets; Hafnium; 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.37761
