Please wait a minute...
北京大学期刊网 | 作者  审稿人  编委专家  工作人员

首页   |   关于   |   浏览   |   投稿指南   |   新闻公告
数学进展
研究论文
Lukasiewicz命题逻辑系统一种新的理论的相容度
Consistency Degrees of Theories in Lukasiewicz Propositional Fuzzy Logic

张建成;王国俊;
ZHANG Jiancheng~1 WANG Guojun~2

泉州师范学院理工学院,陕西师范大学数学研究所 泉州,福建,362000,西安,陕西,710062
(1.Dept.of Math.,Quanzhou Normal University,Quanzhou,Fujian,362000,P.R.China;2.Institute of Mathematics,Shaanxi Normal University,Xi'an,Shaanxi,710062,P.R.China

收稿日期: 2007-12-25
出版日期: 2007-12-25

101
浏览

引用导出
0
    /   /   推荐

摘要 根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.
关键词 理论演绎定理真度发散度极指标相容度    
Abstract:By means of theory of truth degrees of formulas,according to deduction theorems and completeness theorems,the new concepts of porlar index and consistency degrees for general theories in Lukasiewicz propositional fuzzy logic systems are introduced.Moreover,sufficient and necessary conditiions for a theoryΓto be consistent,inconsistent and fully divergent are obtained.Finally,relation between divergence degrees and consistency degrees is also clarified.
Key wordsdeduction theorem    truth degree    divergence degree    polar indx    consistency degree
[1] 张浩,唐国平. 有限域上循环群代数的K群[J]. 数学进展, 2019, 48(2): 191-197.
[2] 李鸿亮, 明平兵. 一个应变梯度有限元的新基函数[J]. 数学进展, 2016, 45(6): 955-960.
[3] 盛宝怀. lp-系数正则化Shannon采样学习算法收敛速度[J]. 数学进展, 2014, 43(6): 905-920.
[4] 童雪,沈复兴,李永强. 可交换范畴理论的一个结构定理[J]. 数学进展, 2013, 42(3): 288-296.
[5] 袁传宽. 樊畿——为数学而生,数学乃是他的生命[J]. 数学进展, 2011, 40(1): 1-10.
[6] 韩颖;沈自飞;. 无界域上具有非光滑非线性项的Schrdinger方程解的存在性(英文)[J]. 数学进展, 2010, 39(4): 409-418.
[7] 肖建波;谭小江;. 关于由截面生成的特殊二维向量丛的分类(英文)[J]. 数学进展, 2009, 38(6): 685-691.
[8] 柯云泉;. 一类含有阻尼项神经网络周期解存在和指数稳定性[J]. 数学进展, 2009, 38(6): 745-754.
[9] 赵志良;梁菊花;任立顺;. 一类具三维核共振条件多点边值问题(英文)[J]. 数学进展, 2009, 38(3): 345-358.
[10] 阿拉坦仓;黄俊杰;. 无穷维Hamilton算子的谱及相关问题研究[J]. 数学进展, 2009, 38(2): 129-145.
[11] D.Lascar;. 模型论简介(英文)[J]. 数学进展, 2008, 37(6): 641-656.
[12] 黄小军;沈良;顾永兴;. Schwarz引理的一个注记(英文)[J]. 数学进展, 2008, 37(2): 222-226.
[13] 柳会珍;顾岚;. 股票收益率和新息的尾部估计(英文)[J]. 数学进展, 2008, 37(1): 25-30.
[14] 汪文珑;许跟起;. 一类抽象动力系统的C_0群性质及其在迁移理论中的应用(英文)[J]. 数学进展, 2007, 36(5): 561-573.
[15] 修乃华;韩继业;. 对称锥互补问题[J]. 数学进展, 2007, 36(1): 1-12.
Viewed
Full text


Abstract

Cited

首页 · 关于 · 关于OA · 法律公告 · 收录须知 · 联系我们 · 注册 · 登录


© 2015-2017 北京大学图书馆 .