| Lukasiewicz区间值命题逻辑的广义重言式 |
| |
| 引用本文： | 薛占熬,卫利萍,岑枫,李霞. Lukasiewicz区间值命题逻辑的广义重言式[J]. 河南师范大学学报(自然科学版), 2009, 37(3) |
| |
| 作者姓名： | 薛占熬 卫利萍 岑枫 李霞 |
| |
| 作者单位： | 河南师范大学,计算机与信息技术学院,河南,新乡,453007;河南师范大学,计算机与信息技术学院,河南,新乡,453007;河南师范大学,计算机与信息技术学院,河南,新乡,453007;河南师范大学,计算机与信息技术学院,河南,新乡,453007 |
| |
| 摘 要： | 给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.
|
| 关 键 词： | 区间值逻辑 广义重言式 Lukasiewicz命题逻辑 |
Generalized Tautology of Lukasiewicz Interval-valued Propositional Logic System |
| |
| XUE Zha-nao,WEI Li-ping,CEN Feng,LI Xia. Generalized Tautology of Lukasiewicz Interval-valued Propositional Logic System[J]. Journal of Henan Normal University(Natural Science), 2009, 37(3) |
| |
| Authors: | XUE Zha-nao WEI Li-ping CEN Feng LI Xia |
| |
| Affiliation: | Collage of Computer and Information Technology;Henan Normal University;Xinxiang 453007;China |
| |
| Abstract: | In this paper,a new interval-valued is defined.The definition of the algebra of Lukasiewicz Interval-valued logic and its generalized tautology are introduced.Furthermore,using a class of special sequence of formulas Ak,where k=1,2,…,n,it has been proven that every class of arrivable α-tautology is not empty and the class difference category theorem of the generalized tautology is applicable in the Lukasiewicz interval-valued propositional logic. |
| |
| Keywords: | interval-valued logic generalized tautology Lukasiewicz propositional logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
