IMTL逻辑系统的一种新扩张形式  

A schematic extension of IMTL logic system

作　　者：周建仁[1] 吴洪博[2] 

机构地区：[1]河西学院数学与统计学院,甘肃张掖734000 [2]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《山东大学学报（理学版）》2015年第12期28-34,46,共8页Journal of Shandong University(Natural Science)

基　　金：国家自然科学基金资助项目(11171196);中央高校基本科研业务费专项基金项目(GK201501001)

摘　　要：提出了一种新的模糊逻辑系统IMTL*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且Lukasiewicz逻辑系统和逻辑系统L*都是它的模型扩张,应用这些结论给出了Lukasiewicz逻辑系统和逻辑系统L*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。A newfuzzy logic system IM TL＊logic is introduced. The feature of this logic system is only one logic connective concerned. It is proved that IMTL＊logic is a schematic extension of IM TL logic and Lukasiewicz logic and logic system L＊are both schematic extension of IMTL＊Logic. Finally the pure implication representation of ukasiewicz logic and logic L＊are obtained. The fuzzy logic systems which is only one logic connective implication concerned will bring convenience to use of fuzzy logic.

关 键 词：模糊逻辑 IMTL逻辑系统 LUKASIEWICZ逻辑系统 逻辑系统L＊ IMTL＊逻辑系统 蕴涵表示 

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