Lukasiewicz命题集的发散性与相容性

发布时间：2020-02-16 10:45

【摘要】：在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性,明确了相容公式集可以是全发散的。得到了公式集不相容的充要条件。给出了发散度单调下降收敛于0的公式序列。

【参考文献】

相关期刊论文 前3条

1 裴道武;形式演绎系统L~*中的懔运算与演绎定理[J];模糊系统与数学;2001年01期

2 王国俊;MV-代数、BL-代数、R_0-代数与多值逻辑[J];模糊系统与数学;2002年02期

3 杨晓斌,张文修;Lukasiewicz系统中的广义重言式理论[J];陕西师范大学学报(自然科学版);1998年04期

【共引文献】

相关期刊论文 前10条

1 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

3 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

4 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

5 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

6 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

7 刘练珍,李开泰;FI代数同构于一族全序FI代数的直积的子代数的条件[J];纯粹数学与应用数学;2004年01期

8 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

9 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

10 王艳平,王志强,佟绍成;模糊粗糙集与模糊粗糙逻辑算子[J];大连海事大学学报;2005年02期

相关会议论文 前2条

1 霍书全;鞠实儿;;SLO的代数结构[A];开放类逻辑论文集[C];2004年

2 王国俊;;Fuzzy逻辑与有序代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

相关博士学位论文 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

3 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

6 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

7 李群;不确定性数学方法研究及其在经济管理中的应用[D];大连理工大学;2002年

8 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

9 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

10 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

相关硕士学位论文 前10条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 孟丹;基于事例推理的检索与推理模型研究[D];辽宁师范大学;2001年

4 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

5 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

6 徐鲲;国企经理人薪酬体系研究[D];华北电力大学（北京）;2003年

7 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

8 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

9 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

10 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

【二级参考文献】

相关期刊论文 前10条

1 何颖俞,王国俊;L~*-Lindenbaum代数的结构与L~*公理系统的简化形式[J];工程数学学报;1998年01期

2 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

3 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

4 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

5 王国俊;模糊推理与模糊逻辑[J];系统工程学报;1998年02期

6 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

7 任芳;R_0-代数上的同余关系[J];工程数学学报;2001年01期

8 王向云;赋值为R_0-模糊集的逻辑系统[J];工程数学学报;2001年01期

9 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

10 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

相关会议论文 前2条

1 李志伟;李桂华;;Fuzzy蕴涵代数的若干性质[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

2 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

【相似文献】

相关期刊论文 前5条

1 钟怀杰;级数性质与空间有限（无限）维特征[J];福建师范大学学报(自然科学版);1994年03期

2 刘文中;N体系统稳定性的新探讨[J];北京师范大学学报(自然科学版);2000年04期

3 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期

4 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

5 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

，

本文编号：2580085