论文部分内容阅读
根据演绎定理和完备性定理，应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性，根据矛盾武O是Γ-结论的真度的大小，提出了一种新的极指标和相容度的概念．给出了理论Γ相容、不相容及其它相关结论的充分必要条件，并且获得了相容度与发散度之间联系的重要关系式。
Lukasiewicz命题逻辑系统一种新的理论的相容度
【摘 要】
：
根据演绎定理和完备性定理，应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性，根据矛盾武O是Γ-结论的真度的大小，提出了一种新的极指标和相容度的概念．给出
【机 构】
：
泉州师范学院理工学院,陕西师范大学数学研究所
【出 处】
：
数学进展
【发表日期】
：
2007年6期
【基金项目】
：
国家自然科学基金资助项目（No.10331010）,福建省自然科学基金计划资助项目（No.2006J0221）
其他文献
为探究漓江流域岩溶区檵木群落不同恢复阶段凋落物的分解情况,运用凋落物袋法研究其凋落物分解初期动态。结果表明:经过1a的分解,檵木群落凋落物失重大小顺序为:灌木阶段>乔灌阶段>乔林阶段。檵木群落灌木阶段、乔灌阶段和乔林阶段凋落物分解50%所需的时间分别为1.28a、1.38a、1.41a,分解95%所需的时间分别为5.54a、5.97a和6.09a。经过1a的分解,凋落物养分动态变化为:灌木阶段和乔
糖尿病（DM）患者长期碳水化合物、脂肪、蛋白质代谢紊乱，可引起心脑血管、神经、眼、肾等器官或组织的慢性并发症。肺脏是呼吸器官，有丰富的血液循环和结缔组织，高血糖、高脂肪酸等
目的分析Ki-67（增殖细胞核抗原）、p53蛋白及VEGF在胃肠问质瘤发生发展中的作用及对患者生存期的影响。方法采用免疫组织化学sP法检测42例胃肠间质瘤组织中Ki-67、p53及VEGF表达
本文研究几类非线性微分方程不存在闭轨线的条件,所得结果可用于判别方程（x）＋f1（x）（x）＋f2（x）（x）2＋g（x）=0和（x）＋f（x,（x））（x）＋g（x）=0闭轨线的不存在性.