论文摘要
本文定义了规范区间和区间值模糊命题逻辑的→G蕴涵算子,研究了区间值模糊命题逻辑广义拟重言式及其分类. 在此基础上给出局部赋值的广义拟重言式定义,并在其中建立了升级算法. 最后定义了a ? 真度,并研究了区间值模糊命题公式的真度值在[0,1] 中的分布. 获得了与王国俊教授一维赋值格类似的结果。本文表明王国俊教授一维赋值格的理论需要在蕴涵算子和重言式等方面做大量的工作,才能推广到二维赋值格上去,而这些工作有着显而易见的实际背景,说明这样做是十分必要和不可避免的.
论文目录
相关论文文献
- [1].系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用 2010(08)
- [2].关于蕴涵重言式不是推理式的证明[J]. 郑州航空工业管理学院学报(社会科学版) 2012(03)
- [3].修正的RDP系统中的一种升级算法及其性质[J]. 云南师范大学学报(自然科学版) 2015(06)
- [4].演绎逻辑与逻辑真理[J]. 新乡学院学报(社会科学版) 2008(02)
- [5].Gainse-Rescher系统基于子代数的广义重言式[J]. 计算机工程与应用 2015(19)
- [6].n值逻辑系统L_n~*中广义重言式的计量化研究[J]. 陕西师范大学学报(自然科学版) 2009(02)
- [7].Gdel系统中一类子代数上的广义重言式理论[J]. 计算机工程与应用 2010(29)
- [8].R_G-代数的子代数与广义重言式理论[J]. 计算机工程与应用 2011(29)
- [9].逻辑系统RDP中子代数的广义重言式理论[J]. 计算机工程与应用 2011(32)
- [10].修正的Kleene系统中子代数的广义重言式理论[J]. 计算机工程与应用 2009(22)
- [11].重言式的构式语法分析[J]. 解放军外国语学院学报 2010(05)
- [12].修正的Gdel逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用 2008(36)
- [13].修正的RDP逻辑系统中的广义重言式理论[J]. 济南大学学报(自然科学版) 2015(04)
- [14].Lukasiewicz区间值命题逻辑的广义重言式[J]. 河南师范大学学报(自然科学版) 2009(03)
- [15].模糊模态逻辑系统M■uk中的可达广义重言式[J]. 山东大学学报(理学版) 2009(08)
- [16].模糊命题的多维三层逻辑的语义[J]. 计算机学报 2013(11)
- [17].修正的RDP逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用 2015(12)
- [18].Gdel逻辑系统中1/2-子代数上的广义重言式理论[J]. 计算机工程与应用 2011(05)
- [19].命题公式类型的判定[J]. 福建电脑 2008(03)
- [20].模糊粗糙逻辑的语义[J]. 辽宁工业大学学报 2008(02)
- [21].Gdel区间值逻辑系统的广义拟重言式[J]. 计算机工程与应用 2009(06)
- [22].神、宇宙、艺术和共产主义[J]. 马克思主义美学研究 2010(02)
- [23].透视主义哲学视角下鲲鹏之重言[J]. 人文杂志 2018(10)
- [24].《诗经》重言式双音形容词的语义特点[J]. 长江学术 2012(01)
- [25].重言式和矛盾式的代数化证明[J]. 计算机与数字工程 2009(08)
- [26].参数Kleene系统的可靠性定理[J]. 科学技术与工程 2012(11)
- [27].金岳霖“穷尽可能”的“必然”观——与维特根斯坦“重言式”的比较[J]. 哲学动态 2012(02)
- [28].推理有效性的判定方法及其特点比较——以命题逻辑为例[J]. 长春工程学院学报(社会科学版) 2010(02)
- [29].再论分析命题[J]. 重庆科技学院学报(社会科学版) 2011(04)
- [30].多值逻辑的思想渊源和产生历程[J]. 自然辩证法研究 2008(11)