多值逻辑系统W_n中α-三I问题的形式解  

Formal Solution to the Problem of α-triple I in Many-valued Logic System W_n

作　　者：刘东利[1] 王国俊[1] 

机构地区：[1]陕西师范大学数学研究所,西安710062

出　　处：《计算机工程与应用》2005年第25期51-53,共3页Computer Engineering and Applications

基　　金：国家自然科学基金重点资助项目(批准号:10331010)

摘　　要：在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。The problem of α-triple I are given in many-valued logic system Wn.By introducing a preorder in F（S）, problems of formal reasoning about α-GMP and collective α-GMP are discussed and formal triple I solution of α-FMP is obtained.Therefore,formal reasoning system of α-triple I is provided in formal system Wn.

关 键 词：α-三I问题 多值逻辑系统Wn 形式化三I解 

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