Lukasiewicz多值逻辑系统中的广义重言式理论  

Theory of Generalized Tautology on Lukasiewicz Many valued Logic System

作　　者：杨晓斌[1] 张文修[2] 

机构地区：[1]上海财经大学基础部,上海200433 [2]西安交通大学理学院,陕西西安710049

出　　处：《模糊系统与数学》2000年第1期8-12,共5页Fuzzy Systems and Mathematics

摘　　要：引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。A class of special sequence of formulas is introduced,this article proved that every class of arrivable tautology is not empty, so that the class of generalized tautology is difference each other on Lukasiewicz many valued logic system. At the last,discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system.

关 键 词：Lukasiewicz多值逻辑系统 Α-重言式 广义重言式 

分 类 号：O141.3[理学—数学] O159[理学—基础数学]