On the reliability of the predical calculus system (MF) of medium logic
1989
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:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
6
Citations
NaN
KQI