DocumentCode
2457131
Title
On the reliability of the predical calculus system (MF) of medium logic
Author
Pan, Zhenhua
Author_Institution
Xingyi Teachers´´ Coll., Gueizhou, China
fYear
1989
fDate
29-31 May 1989
Firstpage
64
Lastpage
69
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;
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.37761
Filename
37761
Link To Document