对偶三角模-三角余模逻辑及推理

第1章  预备知识1.1 二值命题演算的基础知识1.2 二值谓词演算的基础知识1.3 概率论的基础知识1.4 不确定理论的基础知识1.5 概率逻辑、不确定逻辑与模糊逻辑的比较第2章  随机命题的概率逻辑与推理2.1 RProPL的语言与概率真度2.2 概率真度的规律2.3 RProPL度量空间2.4 RProAPL的公理化方法2.5 基于RProPL的推理第3章  Vague命题的Lawry对偶三角模-三角余模逻辑3.1 引言3.2 Lawry的不确定模型3.3 同主语同标签Vague命题的Lawry逻辑3.4 Vague命题的Lawry乘-加逻辑和Lawry下-上确界逻辑3.5 Vague命题的Lawry三角模-三角余模逻辑3.6 同Vague谓词命题的概率逻辑第4章  不确定命题的对偶下-上确界逻辑与推理4.1 UProL的语言与不确定命题的真度4.2 不确定命题公式真度的规律4.3 不确定命题公式的真度的一般计算方法4.4 带有独立不确定命题集的不确定命题公式真度的计算4.5 独立不确定命题公式真度的公理化及其推理第5章  一阶不确定谓词的对偶下-上确界逻辑5.1 不确定谓词命题和不确定谓词公式5.2 不确定谓词公式的真度5.3 不确定谓词公式真度的基本规律第6章  模糊命题的多值逻辑与推理6.1 引言6.2 预备知识6.3 三角模族T(q,p)-LGN与系统LGN6.4 三角模族T(q,p)-L∏G与系统LIIG6.5 三角模族T(q,p)-L∏GN((g，p)∈[-1,1]×(-∞,0)∪(0,∞)∪(1,0))与系统L∏GN6.6 逻辑系统MTL(BL)的新的模式扩张系统GNMTL(GNBL)6.7 Fuzzy命题的多维三层逻辑6.8 蕴涵算子族及其应用第7章  随机模糊命题的三角模-蕴涵概率逻辑与推理7.1 模糊逻辑系统中理论的下真度与相容度7.2 模糊逻辑系统∏和God扣理论的相容度与下真度的计算公式7.3 模糊逻辑系统Luk和L*中理论相容度的计算公式7.4 模糊逻辑系统中有限理论的弱相容度7.5 多值命题逻辑公式在有限理论下的a-条件真度7.6 命题模糊逻辑系统中公式的理论可证度7.7 模糊逻辑系统中公式真值函数的特征7.8 模糊逻辑系统中公式真度的特征7.9 模糊逻辑系统中公式真度计算7.10 MTL概率逻辑与推理第8章  一阶随机模糊谓词的三角模-蕴涵概率逻辑8.1 一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用8.2 一阶模糊谓词逻辑公式的解释模型真度理论及其应用8.3 一阶模糊谓词逻辑公式的区间解释真度理论8.4 一阶模糊谓词逻辑公式的可测集解释真度理论8.5 逻辑有效公式理论及其应用参考文献关键词中英文对照索引