期刊文献+

Lukasiewicz命题集的发散性与相容性 被引量:14

Divergency and Consistency in Lukasiewicz System
下载PDF
导出
摘要 在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).
关键词 Lukasiewicz命题逻辑系统 发散度 全发散 相容性 Lukasiewicz system divergence degree fully divergent consistency
  • 相关文献

参考文献8

二级参考文献23

共引文献331

同被引文献111

引证文献14

二级引证文献94

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部