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

摘要：

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

关键词：语言真值蕴涵代数、对偶分子、推理性质、闭性

所属期刊栏目：24

分类号：TP18;O159(自动化基础理论)

资助基金：国家自然科学基金资助项目60875034;教育部博士点专项基金资助项目20060613007

在线出版日期：2010-06-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-6