| Lukasiewicz多值逻辑系统中的广义重言式理论 |
| |
| 引用本文： | 杨晓斌,张文修.Lukasiewicz多值逻辑系统中的广义重言式理论[J].模糊系统与数学,2000,14(1):8-12. |
| |
| 作者姓名： | 杨晓斌 张文修 |
| |
| 作者单位： | 1. 上海财经大学,基础部,上海,200433
2. 西安交通大学,理学院,陕西,西安,710049 |
| |
| 摘 要： | 引入一类特殊的公式序列Ａｋ，ｋ＝１，２，…，证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统，对任意真值ａ∈Ｌｎ而言，可达ａ－重言式类类不空，进一步证明了系统中广义重言式的类类互异定理，最后讨论了Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统与经典二值逻辑系统中重言式之间的关系。
|
| 关 键 词： | Lukasiewicz多值逻辑系统 α－重言式 广义重言式 |
Theory of Generalized Tautology on Lukasiewicz Many-valued Logic System |
| |
| YANG Xiao-bing,ZHANG Wen-xiu.Theory of Generalized Tautology on Lukasiewicz Many-valued Logic System[J].Fuzzy Systems and Mathematics,2000,14(1):8-12. |
| |
| Authors: | YANG Xiao-bing ZHANG Wen-xiu |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
