基于语言真值格蕴涵代数中对偶分子的推理性质

众所周知,代数结构已成功应用于经典与非经典逻辑中。沿袭这种思想,徐扬教授为语言真值格值命题逻辑的代数语义解释找到了一个语言真值格蕴涵代数(L-LIA)的方法。本文进一步研究L-LIA中对偶分子的推理性质,证明了对偶分子在一定程度上对算子∨、∧、→具有闭性,得到了一些有趣的新结果,特别是给出了它的一些推理性质,并验证了在Lv(9×2)中的相应结果,进而对蕴涵进行了拓展,得到了预线性性的逻辑推理性质,并证明了此推理性质的正确性。

基于语言真值格值命题逻辑系统l_(νpl)的推理规则

一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。

蕴涵和蕴涵怪论述评

作为逻辑学的重要概念，蕴涵常因其理论复杂和界定含混使初学者难于理解，蕴涵怪论更为其平添障碍，本文通过陈述各种不同的蕴涵定义，探明其差异性，寻求蕴涵的统逻辑语义，并在此基础上对蕴涵怪论加以说明，由于涉及理论较多，本文采取先达后评的方法，先介绍各种蕴涵理论，再定义真值蕴涵，并逐一说明相关问题，

真值表方法的功能

早在两千多年前,古希腊学者费罗所发表的言论,已经是真值表方法的萌芽。他说:“一个例言命题是正确的,便不是一个真的起始,和一个假的结尾。”即只要不是“前件真,后件假”就是真的这实际上就是真值蕴涵,即实质蕴涵的早期的陈述。塔斯基曾作过评价说:“这是有趣的事情,关于蕴涵的讨论,在古代就已开始。希腊哲学家费罗在逻辑史上大概是第一个传播了实质涵的用法的人。”随着复合判断推理研究的进展,真值表方法已经成为判定这类推理有效性的强有力的工具。考虑到真值表方法正在被愈来愈多的逻辑工作者重视,大部分新出版的普通逻辑教材已经移用了一部分真值表方法的材料,所以对真值表方法及其功能作进一步探讨、研究似很必要。

关于蕴涵的几种关系

蕴涵是逻辑学的一个重要概念。近年来,我国逻辑界讨论了充分条件假言命题与必要条件假言命题的定义及其逻辑联结词的问题,由于传统逻辑教学中引入数理逻辑,引入真值表。

基于语言真值直觉模糊真度矩阵的多属性决策方法

针对含有模糊语言信息的决策问题,基于语言真值直觉模糊格蕴涵代数理论,提出了语言真值直觉模糊真度矩阵,给出了将语言真值直觉模糊判断矩阵转换为语言真值直觉模糊真度矩阵的方法,利用语言OWA算子对语言真值直觉模糊真度矩阵进行聚合、排序进而得出最优方案.将该方法应用于选择最佳创业项目为例,说明该方法的合理性和有效性.

谈谈模态逻辑

模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truth implication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“