命题逻辑系统相关论文
必然性是命题的一种性质。在本文中,我们依据现在逻辑处理命题性质的一般方法,讨论必然性这种命题性质。首先讨论现在逻辑是如何处理......
在智慧城市发展中的驱动创新中,面临着诸多的不确定性信息,而这些大量的不确定信息处理是智慧城市发展中的一重要的中间环节。本......
该文在Lukasiewicz命题逻辑、G(o)del命题逻辑和R0命题逻辑中,根据广义演绎性定理、完备性定理和计量逻辑理论,给出刻画一个命题A......
近年来,大量的学者从事基于三角模的非经典逻辑(包括命题逻辑和谓词逻辑)的研究(其中著名的逻辑系统Lukasiewicz逻辑,Product逻辑,God......
2011年至2012年,美国逻辑学家Daniel Osherson和Scott Weinstein以理由为基础,着重研究了理由与主体的偏好选择之间的关系,并将这......
会议
为了处理在不确定性环境下的自动演绎,本文重点研究基于自动推理理论的推理方法,其理论是真值定义在格蕴涵代数结构上格值逻辑系......
近年来,模糊控制技术在应用方面取得了举世瞩目的成功.然而,作为其核心的模糊推理在数学基础上却并未无懈可击.所以,以研究模糊推理的......
近年来,王国俊教授提出了一种关于模糊命题逻辑的新理论一模糊命题逻辑公式的真度理论,它为模糊推理提供了一个新的框架.但是此理论还......
命题逻辑又称作符号逻辑,是一门用数学方法研究推理过程和逻辑的科学.我们知道命题必须是有真、假意义的语句,而不可能存在第3种,......
以D-随机真度为基础,给出了公式到有限理论结论集D-逻辑伪距离的D-随机真度表示式,得到了D-逻辑度量空间中与有限理论相关的一系列D-......
从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推......