| 系统Hα中的广义重言式理论 |
| |
| 引用本文： | 王国俊,兰蓉. 系统Hα中的广义重言式理论[J]. 陕西师范大学学报(自然科学版), 2003, 31(2): 1-11 |
| |
| 作者姓名： | 王国俊 兰蓉 |
| |
| 作者单位： | 陕西师范大学数学研究所，陕西师范大学数学研究所 陕西西安710062，陕西西安710062 |
| |
| 基金项目： | 国家自然科学基金重点资助项目(19831040) |
| |
| 摘 要： | 给出了一类带参数的[0，1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1)，进而建立了多值系统Hα．当α＝1时，Hα就是R0型蕴涵算子；α＝0时，Hα是Godel蕴涵算子，所以R0算子与Godel算子在Hα系统中统一起来．在Hα系统中引入了带参数的非运算フα，研究了多值系统H1/2＝(フ1/2，V，→1/2)，以H1/2为赋值域建立了F(S)中重言式的分类定理，并将广义重言式分类定理推广到系统Hα(O＜α＜1)中．
|
| 关 键 词： | 多值逻辑系统 蕴涵算子 Hα系统 广义重言式理论 t－模 子代数 分类定理 |
| 文章编号： | 1001-3857(2003)02-0001-11 |
Generalized tautologies of the systems Hα |
| |
| Abstract: | |
| |
| Keywords: | t-norm left-continuous implication operator subalgebra generalized tautology tautology |
| 本文献已被 CNKI 维普 等数据库收录！ |
