工程数学学报
工程數學學報
공정수학학보
CHINESE JOURNAL OF ENGINEERING MATHEMATICS
2004年
4期
537-542
,共6页
模糊逻辑%修正的Kleene系统%广义矛盾式%降级算法%广义语义C-MP规则%广义语义C-HS规则
模糊邏輯%脩正的Kleene繫統%廣義矛盾式%降級算法%廣義語義C-MP規則%廣義語義C-HS規則
모호라집%수정적Kleene계통%엄의모순식%강급산법%엄의어의C-MP규칙%엄의어의C-HS규칙
通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具.
通過對模糊命題縯算的形式縯繹繫統L*及脩正的Kleene邏輯繫統W,W,Wk的研究,給齣瞭脩正的Kleene繫統中廣義矛盾式之間的一種降級算法併討論瞭它的性質和應用,最後在廣義矛盾式理論中討論瞭廣義語義HS規則和廣義語義MP規則,為進一步對脩正的Kleene邏輯繫統的研究提供一箇有益的工具.
통과대모호명제연산적형식연역계통L*급수정적Kleene라집계통W,W,Wk적연구,급출료수정적Kleene계통중엄의모순식지간적일충강급산법병토론료타적성질화응용,최후재엄의모순식이론중토론료엄의어의HS규칙화엄의어의MP규칙,위진일보대수정적Kleene라집계통적연구제공일개유익적공구.