命题逻辑中的偏序结构

发布时间：2018-10-08 20:28

【摘要】：本文定义了命题逻辑的所有合式公式组成的集合上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与中关于合式公式结构的归纳法等价的几个条件。
[Abstract]:In this paper, we define a partial ordering relation on the set of all the compound formulas of propositional logic, and then obtain a partial ordered set. Then we discuss some conditions of equivalence with the inductive method about the structure of the compound formula in the middle.
【作者单位】： 桂林电子科技大学数学与计算科学学院
【分类号】：B812

【共引文献】

相关期刊论文 前10条

1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

2 刘蔚萍,贾武;布尔元在软代数中的应用[J];湖北工学院学报;1997年04期

3 姚卫,路玲霞,李生刚;内部算子与闭包算子的若干性质[J];河北师范大学学报(自然科学版);2004年03期

4 路玲霞,姚卫,李生刚;内部算子及闭包算子与伴随的一些关系[J];河北师范大学学报(自然科学版);2004年05期

5 姜保庆;李建;徐扬;;布尔关联规则集的结构[J];河南大学学报(自然科学版);2006年01期

6 王建平;格H蕴涵代数在分子集上的表现[J];河南大学学报(自然科学版);1996年03期

7 胡长流;关于偏序集基数幂的半模性的若干反例[J];河南大学学报(自然科学版);1996年04期

8 黄菀蓉,宋振明;格蕴涵代数与双格半群[J];河南大学学报(自然科学版);1997年02期

9 胡长流;I-环及其矩阵环[J];河南大学学报(自然科学版);1997年03期

10 马学文,罗从文;L-Fuzzy集分解定理[J];模糊系统与数学;2001年01期

相关博士学位论文 前6条

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

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

3 秦昆;基于形式概念分析的图像数据挖掘研究[D];武汉大学;2004年

4 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

5 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

6 郝光;动态OD矩阵推算模型及算法研究[D];西南交通大学;2007年

相关硕士学位论文 前10条

1 卢林;树上随机场的若干极限性质[D];河北工业大学;2002年

2 张可铭;L-拓扑空间的完全正规分离性和L-Fuzzy代数中若干结构的研究[D];首都师范大学;2003年

3 张颖;利用有限域上n阶幂等阵构造几何格[D];东北师范大学;2003年

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

5 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

6 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

7 郝光;模糊多目标格序决策及对称矩阵对策[D];西南交通大学;2004年

8 王琼;基于剩余蕴涵算子的三Ⅰ方法的研究[D];西南交通大学;2004年

9 张千宏;基于区间值模糊集的三Ⅰ推理算法研究[D];西南交通大学;2004年

10 徐克龙;基于格的多目标决策理论研究[D];西南交通大学;2004年

【相似文献】

相关会议论文 前1条

1 吴志雄;;不精确数据的相似度计算[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

相关硕士学位论文 前2条

1 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年

2 刘汇洋;若干广义t-模及相关模糊逻辑系统[D];宁波大学;2010年

，

本文编号：2258156