共 2 条
[1]
模糊命题演算的一种形式演绎系统[J] 王国俊 科学通报 1997, 10
[2]
一类代数上的逻辑学(Ⅰ)[J] 王国俊 陕西师范大学学报(自然科学版) 1997, 01
修正的Kleene系统中的Σ-(α-重言式)理论
被引：138
作者：
王国俊
机构：
[1] 陕西师范大学数学研究所!西安
来源：
关键词：
修正的Kleene系统;
Σ-(α-重言式);
可达α-重言式;
类类互异定理;
重言式表示定理;
D O I：
暂无
中图分类号：
O159 [模糊数学];
学科分类号：
070101 [基础数学];
摘要：
证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 .
引用
收藏
页码：146 / 152
页数：7
相关论文