ON THE RELIABILITY OF MEDIUM LOGIC(ML) |
| |
作者姓名: | Pan Zhen—hua |
| |
作者单位: | Pan Zhen—hua Department of Mathematics Xingyi Teachers' College,Gueizhou,China |
| |
摘 要: | Medium logic (ML) is set up for the common theoritical foundation of the classical mathematics and fuzzy mathematics. It has been formalized as a new theory of logic. See note (1) and note (2). As mathematical logic the ML's construct reches the study of the informal deductive inference by means of studying the formal inference in it, and it demands the formal inference of ML reliable reflected the deductive inference. For this reason, this paper deals with its reliability. The result shows that the formal inference of M L consists with deductive inference, and that ML reliably reflects the deductive inference.
|
ON THE RELIABILITY OF MEDIUM LOGIC(ML) |
| |
Abstract: | Medium logic (ML) is set up for the common theoritical foundation of the classical mathematics and fuzzy mathematics. It has been formalized as a new theory of logic. See note (1) and note (2). As mathematical logic the ML's construct reches the study of the informal deductive inference by means of studying the formal inference in it, and it demands the formal inference of ML reliable reflected the deductive inference. For this reason, this paper deals with its reliability. The result shows that the formal inference of M L consists with deductive inference, and that ML reliably reflects the deductive inference. |
| |
Keywords: | Medium logic Reliability Formal inference Deductive inference Formal proof |
本文献已被 CNKI 等数据库收录! |