论文摘要
时序逻辑是一种特殊的模态逻辑, 它不仅是程序语义描述的有力工具,而且在知识的形式表示方面表现出越来越多的优越性. 但遗憾的是对于时序逻辑的研究多限于赋值为0和1的经典时序逻辑, 而正如同将经典逻辑模糊化得到模糊逻辑一样, 将时序逻辑模糊化得到模糊时序逻辑也是一个值得研究的课题. 本文首先对泛代数的理论进行推广, 提出广义泛代数的概念; 将时序逻辑系统MPTL 模糊化, 定义了模糊算子□,◇和> , 讨论了模糊时序逻辑FMPTL 的语义, 再由逻辑等价出发, 讨论一些含模态词的公式的化简问题; 然后从有限模糊时序逻辑代数及其子代数出发, 研究了有限模糊时序逻辑的广义重言式; 在此基础上进一步研究了赋值格为[0,1]的模糊时序命题系统M|-的广义重言式的性质及其分类, 得到了与王国俊教授类似的结果; 又给出了部分赋值的广义重言式的定义, 在其中讨论了重言式的类类互异定理和升级算法; 再证明了有限模糊时序逻辑系统中广义重言式的重言式表示定理; 最后研究了系统M|-中的广义语义MP 规则和广义语义HS 规则. 并且为了简化问题, 我们只对有实际意义的模态公式进行研究.
论文目录
相关论文文献
- [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)