论文部分内容阅读
基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理，获得了用Г中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。
命题逻辑系统中理论的发散度与近似推理的若干性质
【摘 要】
：
基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理，获得了用Г中公式的真度表示其发散度的计算公式和若
【机 构】
：
泉州师范学院理工学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2008年2期
【基金项目】
：
福建省自然科学基金资助项目（2006J0221）
其他文献
目的观察分析中药离子导入治疗糖尿病肾病的临床效果。方法回顾性分析108例糖尿病肾病患者的病例资料,根据治疗方案不同分为对照组和观察组,其中对照组52例。对照组采用常规
讨论模糊线性方程组X=AX＋U解的存在条件及其迭代算法（其中，A是区间数为元素的n阶矩阵，未知量X和常量U都是以模糊数为元素的n维向量，并且其加法和乘法均由Zadeh的扩张原理定义）。首
利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念，证明了全体公式的概率真度值之集在[0，1]中没有孤立点；利用概率真度定义了概率相似度
在Girard Quantale中引入了模糊滤子和模糊关联滤子的概念，研究了Girard Quantale中模糊滤子和模糊关联滤子的一些性质，给出了Girard Quantale中模糊关联滤子的若干等价刻画，探