一类正规蕴涵及其导出算子

摘要：

通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身.这些结论对建立多值逻辑的语义理论有重要的应用.

关键词：正规蕴涵、导出算子、伴随对、三角模、正则蕴涵算子

所属期刊栏目：9

分类号：O144.4(数理逻辑、数学基础)

资助基金：榆林学院科研基金项目08YK19

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

页数：共4页

页码：2397-2399,2407