区间值逻辑柔性化的研究

摘要

蕴涵是研究逻辑学的重点和难点,本文运用泛逻辑学的理论,把广义相关性引入到区间值逻辑中,重新定义了区间值逻辑的补、交、并运算,给出一种区间蕴涵的定义形式,使区间值逻辑运算模型连续可变,进一步证明了区间蕴涵的正则性、单调性和伴随性.以全新的观点给出区间值逻辑在h几个特殊点处的交、并和蕴涵运算模型.这对深入研究区间值逻辑柔性化,具有重要的意义.