Lukasiewicz命题集的发散性与相容性

摘要：

在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性,明确了相容公式集可以是全发散的.得到了公式集不相容的充要条件.给出了发散度单调下降收敛于0的公式序列.

关键词：Lukasiewicz命题逻辑系统、发散度、全发散、相容性

所属期刊栏目：20

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金19831040

在线出版日期：2003-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：13-18