系统L_n中公式关于局部有限理论的Γ-真度

发布时间：2018-11-12 09:46

【摘要】：在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。
[Abstract]:In the n-valued Lukasiewicz propositional logic system, the equivalent form of the definition of 螕 -truth degree relative to the local finite theory is applied to the n-valued Lukasiewicz propositional logic system. Some important properties of 螕 -truth degree are discussed, and the inference rules of 螕 -truth degree are given.
【作者单位】： 延安大学数学与计算机科学学院;
【基金】：陕西省科技计划社发攻关项目(2014ks15-03-07) 陕西省高水平大学建设专项资金(2012SXTS07) 陕西省教育厅专项科研计划项目(15JK1834)
【分类号】：O141.1

【相似文献】

相关期刊论文 前10条

1 张兴芳;张安英;韩红霞;;模糊谓词逻辑中基于有限解释的公式的条件α-真度理论[J];模糊系统与数学;2008年02期

2 张兴芳,孟广武;模糊谓词逻辑公式的有限和可数解释真度理论[J];聊城大学学报(自然科学版);2004年04期

3 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

4 张兴芳;王国俊;孟广武;;一阶模糊谓词逻辑公式的区间解释真度理论[J];模糊系统与数学;2006年02期

5 李友雨;张兴芳;李成允;;L*系统中由单个原子生成公式的真度分布[J];计算机工程与应用;2010年10期

6 于鹏;;真度方程组及其应用[J];计算机工程与应用;2012年07期

7 王国俊;;一类一阶逻辑公式中的公理化真度理论及其应用[J];中国科学:信息科学;2012年05期

8 秦晓燕;徐扬;刘熠;;二值谓词逻辑中公式的向量真度[J];模式识别与人工智能;2013年08期

9 张安英;李德胜;张兴芳;于西昌;;基于一阶模糊逻辑公式的有限解释真度的推理理论[J];聊城大学学报(自然科学版);2005年04期

10 李友雨;张兴芳;李成允;;公式真度的大小之比较[J];模糊系统与数学;2011年02期

相关会议论文 前1条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

相关硕士学位论文 前10条

1 郝国平;几类模糊逻辑系统中真度及近似推理研究[D];延安大学;2015年

2 贺锦瑞;两种命题逻辑系统中的真度研究[D];延安大学;2016年

3 侯文艳;软集在关联规则挖掘中的应用[D];西南交通大学;2017年

4 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

5 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

6 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年

7 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年

8 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

9 李小兵;n值S-MTL系统中公式的矛盾度理论及理论的平均真度[D];兰州理工大学;2014年

10 秦晓燕;关于PI证明的若干注记以及逻辑公式的真度理论[D];陕西师范大学;2005年

，

本文编号：2326756