部分多值逻辑中准完备集的若干性质研究.pdfVIP

多值逻辑 Integration, Classification and Logical Expression of Mathematical Proofs Zhang Yinsheng Institute of Scientific Technical Information of China In the paper, mathematical proof methods up to date are integrated, besides, some methods are added, in sum, total 9 ones are proposed as the most important and widely applied mathematical proof methods, and every one is formatted in a logic expression. They are relational operation, syllogisms, mathematical