| Lukasiewicz逻辑系统中的广义重言式理论 |
| |
| 引用本文： | 吴洪博,王国俊.Lukasiewicz逻辑系统中的广义重言式理论[J].西南交通大学学报,2000,35(5):559-563. |
| |
| 作者姓名： | 吴洪博 王国俊 |
| |
| 作者单位： | 1. 四川大学数学系,四川,成都,610064
2. 西南交通大学应用数学系,四川,成都,610031 |
| |
| 摘 要： | 将逻辑系统－／Ｗ，Ｗ，Ｗｋ中的广义重言式理论进行推广并应用到Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中，主要结果是：得到了逻辑公式集Ｆ（Ｓ）在系统中关于同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α－重言式，且对每个实数α而言式不存在可达α＾＋－重言式，给出了广义重言式、广义矛盾式各类之间的关系定理。
|
| 关 键 词： | 模糊逻辑 逻辑系统 广义重言式理论 |
Theory of Generalized Tautology in Lukasiewicz Logic System |
| |
| WU Hong-bo,WANG Guo-jun.Theory of Generalized Tautology in Lukasiewicz Logic System[J].Journal of Southwest Jiaotong University,2000,35(5):559-563. |
| |
| Authors: | WU Hong-bo WANG Guo-jun |
| |
| Abstract: | |
| |
| Keywords: | fuzzy logic valuation semantics Lukasiewicz logic system generalized tautology generalized contradiction partition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
