逻辑系统(L)n中的真度、发散度与相容度的分布

摘要：

研究了n值(L)ukasiewicz命题逻辑系统(L)n中公式的真度、理论的发散度与相容度的分布问题.令H={k/nm|k=0,…,nm;m=1,2,…}, 利用McNaughton函数证明了对任意k/nm∈H, 都有公式A,使得A的真度为k/nm, 从而全体公式的真度值之集在[0,1]中稠密. 又由真度值之集的稠密性和系统(L)n的广义演绎定理证明了理论的发散度取值之集为单位区间[0,1]. 最后由理论的相容度与发散度的关系得到了理论的相容度取值之集为{0}∪[1/2,1].

关键词：逻辑系统(L)n、真度、发散度、相容度

所属期刊栏目：36

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

资助基金：国家自然科学基金资助项目10771129;陕西师范大学211工程建设基金

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

页数：共4页

页码：6-9