摘要
蕴涵是研究逻辑学的重点和难点,本文运用泛逻辑学的理论,把广义相关性引入到区间值逻辑中,重新定义了区间值逻辑的补、交、并运算,给出一种区间蕴涵的定义形式,使区间值逻辑运算模型连续可变,进一步证明了区间蕴涵的正则性、单调性和伴随性。以全新的观点给出区间值逻辑在h几个特殊点处的交、并和蕴涵运算模型。这对深入研究区间值逻辑柔性化,具有重要的意义。
The study of implication operator is important and difficult in the study of logic. In this paper, using the principle of the universal logics, generalized correlation is introduced into Interval-valued Logics, the intersection, u- nion and complement operation are redefined, and a new kind definition of the Interval-implication is given. The oper- ation models of the Interval-valued Logics are changeable continuity. Regularity and monotonicity of interval-implica- tion are proved, the property of adjoint pair of interval intersection and implication is also proved. The operation models of the Interval-Logics are firstly given for intersection, union and implication in the special points of h. It is very important to the further study of making Interval-Logics flexible.
出处
《计算机科学》
CSCD
北大核心
2005年第7期142-144,155,共4页
Computer Science
基金
国家自然科学基金(No.60273087)
北京自然科学基金(No.4032009)
