形式模糊命题逻辑中的机械推导算法  

A MECHANICAL DEDUCTION ALGORITHM IN FUZZY PROPOSITIONAL LOGIC

作　　者：邓安生[1] 李业丽[2] 

机构地区：[1]东北师范大学 [2]四平师范学院

出　　处：《松辽学刊（自然科学版）》1992年第1期28-30,33,共4页Songliao Journal (Natural Science Edition)

摘　　要：本文给出了形式模糊命题逻辑中的一种机械推导方法,并且证明了它的有效性和完备性。In this paper, we propose a mechanical deduction algorithm in fuzzy prepositional logic. The soundness and the completeness of the algorithm are proved.

关 键 词：模糊命题逻辑 公式行 相继式 

分 类 号：O141[理学—数学]