论文摘要
计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准真度理论是计量谓词逻辑的一个重要的研究成果,讨论经过推广规则后,一阶逻辑公式准真度的变化情况,证明经过推广规则后,一阶逻辑公式在基于准真度的一阶逻辑公式集的分类中类别不变。
论文目录
文章来源
类型: 期刊论文
作者: 秦晓燕
关键词: 计量逻辑,一阶逻辑,准真度,推广规则
来源: 计算机工程与应用 2019年06期
年度: 2019
分类: 信息科技,基础科学
专业: 数学
单位: 山西师范大学数学与计算机科学学院
基金: 山西省自然科学基金面上项目(No.201601D011043),国家自然科学基金重点项目(No.11531009)
分类号: O141
页码: 39-41+139
总页数: 4
文件大小: 1396K
下载量: 69
相关论文文献
- [1].乘积逻辑系统Π_∞中命题的条件随机真度[J]. 模糊系统与数学 2016(04)
- [2].系统L中公式相对于有限理论的Σ_Γ-真度再研究[J]. 模糊系统与数学 2015(05)
- [3].基于云模型的通信对抗力量构建逼真度评价[J]. 通信技术 2015(02)
- [4].战场电磁环境构建逼真度分析方法[J]. 通信对抗 2015(01)
- [5].电磁环境模拟构建与逼真度评估[J]. 电子信息对抗技术 2015(03)
- [6].电磁环境构设逼真度评估方法研究[J]. 无线电通信技术 2016(02)
- [7].一阶逻辑公式相对真度的计算形式[J]. 计算机工程与应用 2015(16)
- [8].命题公式的随机真度与推理规则[J]. 计算机工程与应用 2015(19)
- [9].面向逼真度评估的指标标准化方法研究[J]. 中国电子科学研究院学报 2014(02)
- [10].基于逼真度的战场电磁环境构建要素分析[J]. 电子信息对抗技术 2014(05)
- [11].电磁环境模拟逼真度评估顶层研究[J]. 装备环境工程 2014(05)
- [12].模糊逻辑系统中广义有效推理的真度递减定理[J]. 模糊系统与数学 2013(04)
- [13].真度方程组及其应用[J]. 计算机工程与应用 2012(07)
- [14].一种S-蕴涵模糊逻辑系统的真度理论[J]. 山西大学学报(自然科学版) 2011(04)
- [15].飞行模拟逼真度与训练迁移关系分析[J]. 航天医学与医学工程 2010(04)
- [16].模拟训练系统效能评估中仿真逼真度的计算研究[J]. 舰船电子工程 2010(10)
- [17].面向3DGIS渲染逼真度的方法研究[J]. 武汉大学学报(信息科学版) 2017(08)
- [18].基于软真度的关联规则挖掘方法[J]. 西华大学学报(自然科学版) 2016(06)
- [19].逼真度度量方法及其在配送中心仿真中的应用[J]. 物流技术 2015(02)
- [20].作战目标仿真逼真度分析方法研究[J]. 计算机仿真 2015(02)
- [21].面向逼真度评估的雷达电子战模拟要素分析方法[J]. 系统仿真学报 2015(11)
- [22].P-集合与信息真度及应用[J]. 龙岩学院学报 2011(02)
- [23].基于标准化表示的命题逻辑公式的D-随机真度[J]. 中国海洋大学学报(自然科学版) 2009(01)
- [24].经典命题逻辑中公式的Γ-随机真度与近似推理[J]. 模糊系统与数学 2009(04)
- [25].基于模糊评判法的飞行模拟器逼真度评估[J]. 科学技术与工程 2008(02)
- [26].n值逻辑系统中条件随机真度理论[J]. 纯粹数学与应用数学 2014(06)
- [27].二值谓词逻辑中公式的向量真度[J]. 模式识别与人工智能 2013(08)
- [28].逻辑系统L~*中公式的随机真度[J]. 郑州大学学报(理学版) 2012(01)
- [29].二值逻辑的D-条件真度理论[J]. 云南师范大学学报(自然科学版) 2009(06)
- [30].关于随机真度的若干注记[J]. 模糊系统与数学 2009(06)