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

作者：魏美丽正规蕴涵导出算子伴随对三角模正则蕴涵算子

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社