摘要
提出了广义MP规则与集体广义MP规则 ,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解 .以三I方法为基础 ,在连续值逻辑系统L 中讨论了广义MP规则与集体MP规则的语构意义下的解 .又分别在二值与Lukasiewicz三值系统中给出了上述问题在语义意义下的解 .
The deduction rule of Modus Ponens has been extended in this paper to generalize Modus Ponens (GMP) and collectively generalize Modus Ponens (CGMP) via the establishment of the theory of root in classical 2 valued logic. Similar extensions are obtained both syntactically and semantically in the logic system L as well as in the Lukasiewincz 3 valued system.
出处
《陕西师大学报（自然科学版）》
CSCD
北大核心
2000年第3期1-9,共9页
Journal of Shaanxi Normal University(Natural Science Edition)
基金
国家自然科学基金重点资助项目!(198310 4 0 )
