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

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

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

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

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

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