On the reliability of the predical calculus system (MF) of medium logic
Zhenhua Pan · 2003
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.>