论文部分内容阅读
首先给出了一个新的蕴涵算子族：G-λ-R0（λ∈[0，1]）（它包括Godel（简称RG）算子与R0算子）。然后重点讨论了G-λ-R0（λ∈[0，1]）族算子的伴随算子及其正则性。结果表明，在该算子族中，每一个算子都具有伴随算子且具有正则性。从而说明了此算子是较理想的蕴涵算子。最后讨论了基于此蕴涵算子族的三Ⅰ支持算法。