■ukasiewicz命题逻辑系统中有限命题集的约简理论

发布时间：2018-04-06 03:19

  本文选题：■ukasiewicz命题逻辑　切入点：完备性定理　出处：《计算机工程与应用》2009年07期

【摘要】：在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。
[Abstract]:The reduction theory of proposition set 螕 is put forward in n-valued ukasiewicz propositional logic. The concept of formal background induced by proposition set 螕 is introduced.Based on the relations between 螕 and its subsets, the decision theorem of 螕 reduction in n-valued propositional logic and the method of finding 螕 reduction are given.It is shown that the reduction of proposition set 螕 in infinite valued ukasiewicz propositional logic can be converted to n value case.
【作者单位】： 西安邮电学院应用数理系;
【基金】：陕西省教育厅科研计划项目(No.08JK432)
【分类号】：O141.1

【相似文献】

相关会议论文 前4条

1 刘新;;10FL中(μ,ν)-归结原理的完备性[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

3 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年

4 周华任;徐艳;李世楷;;集值平方可积鞅[A];2006“数学技术应用科学”[C];2006年

相关博士学位论文 前2条

1 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

2 吴恒洋;概率计算与可能性计算的Domain语义[D];上海师范大学;2007年

相关硕士学位论文 前7条

1 张琼;BL_△~*形式系统与NM（?）形式系统的研究[D];陕西师范大学;2010年

2 刘瑶;带Levy过程的BSDE以及带power-jump资产的Levy市场的完备性[D];山东科技大学;2007年

3 张红杰;BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论[D];陕西师范大学;2008年

4 刘敏;关于逻辑代数与系统的若干问题研究[D];陕西师范大学;2007年

5 谭莉;MV-代数上的概率和期望及相关性质的研究[D];西南交通大学;2005年

6 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

7 曾旭;基于语言量词模糊积分语义的近似推理研究[D];宁波大学;2011年

，

本文编号：1717737