系统Hα中的广义重言式理论

• 作者: 兰蓉 王国俊
• 来源期刊: 陕西师范大学学报(自然科学版)
• 学科: 数学
• 关键词: t-模 左连续 蕴涵算子 子代数 广义重言式 重言式
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 1-11
• 页数: 11页
• 分类号: O141.1
• 字数: 6563字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2003.02.001

摘要

给出了一类带参数的[0,1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算子;当α=0时,Hα是Godel蕴涵算子,所以R0算子与Godel算子在Hα系统中统一起来.在Hα系统中引入了带参数的非运算(→)α,研究了多值系统H(1)/(2)=((1)/(2),∨,→(1)/(2)),以H(1)/(2)为赋值域建立了F(S)中重言式的分类定理,并将广义重言式分类定理推广到系统Hα(0<α<1)中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学研究所	176	2910	25.0	49.0
2	兰蓉	陕西师范大学数学研究所	3	94	2.0	3.0