摘要
在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性,明确了相容公式集可以是全发散的。得到了公式集不相容的充要条件。给出了发散度单调下降收敛于0的公式序列。
In Lukasiewicz system inconsistent sets of formulas are fully divergent but not vice versa. A sufficient and necessary condition for a set of formulas being inconsistent is obtained. And a series of formulas is given of which the corresponding divergence degree tends to zero decreasingly.
出处
《工程数学学报》
EI
CSCD
北大核心
2003年第3期13-18,共6页
Chinese Journal of Engineering Mathematics
基金
国家自然科学基金重点项目(19831040).