期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

BIK^+-逻辑与非可换模糊逻辑 被引量：2

BIK^+-logic and Non-commutative Fuzzy Logics
在线阅读 下载PDF
导出
摘要 引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。 The concept of BIK^＋-logic is introduced. The relationship between BIK^＋-logic and non-commutative fuzzy logic is investigated. Various algebraic systems inspired by fuzzy logics are discussed. Relations between commutative and non-commutative logic are presented graphically.
作者 张小红
机构地区 宁波大学数学系
出处 《模糊系统与数学》 CSCD 北大核心 2007年第6期31-36,共6页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(60775038) 浙江省自然科学基金资助项目(Y605389)
关键词 BIK^+-逻辑 BCK-逻辑 非可换模糊逻辑 BCC-代数 BIK^＋-logic BCK-logic Non-commutative Fuzzy Logic BCC-algebra
分类号 O101 [理学—基础数学] O159 [理学—基础数学]
  • 相关文献

参考文献24

  • 1Bunder M. BCK and related algebras and their corresponding logics[J]. Journal of Non-classical Logic, 1983 ,Ⅱ: 15-24.
  • 2Dudek W A. On BCC-algebras[J]. Logique et Analyse,1990,129-130:103-111.
  • 3Dudek W A. On proper BCC-algebras[J]. Bull. Inst. Math. Acad. Sinica, 1992,20:137- 150.
  • 4Dudek W A. Remarks on the axioms system for BCI-algebras [J ]. Prace Naukowe WSP w Czestochowie,ser. Matematyka, 1996,2 : 48- 62.
  • 5Dudek W A,Zhang X H. On ideals and congruences in BCC-algebras[J]. Czechoslovak Math. J. , 1998,48(1): 21 -29.
  • 6Esteva F,Godo L. Monoidal t-norm based logic:towards a logic! for left-continuous t-norms[J]. Fuzzy Sets and Systems, 2001,124:271 -288/
  • 7Hajek P, Metamathematics of fuzzy logic[M]. Kluwer Academic Publishers, 1998.
  • 8Hajek P. Observations on non-commutative fuzzy logic[J]. Soft Computing,2003.8:38-43.
  • 9Hinaley J R. BCK and BCI logics,condensed detachment and the 2-property[J]. Notre Dame J. of Formal Logic, 1993,24: 231-250.
  • 10Iorgulescu A. Pseudo-Iseki algebras. Connection with pseudo-BL algebras [J]. Journal of Multiple-Valued Logic and Soft Computing,2005,11 (3-4) : 263-308.

二级参考文献72

  • 1王国俊,钱桂生,党创寅.命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J].中国科学（E辑）,2004,34(10):1110-1122. 被引量：13
  • 2张小红,何华灿,徐扬.基于Schweizer-Sklar T-范数的模糊逻辑系统[J].中国科学（E辑）,2005,35(12):1314-1326. 被引量：19
  • 3张小红.非可换模糊逻辑系统PL~*及其完备性[J].数学学报（中文版）,2007,50(2):421-442. 被引量：8
  • 4应明生.Fuzzy算子的模糊度[J].模糊数学,1984,4(4):1-6.
  • 5Hajek P.Metamathematics of Fuzzy Logic.Kluwer Academic Publishers,1998.
  • 6Esteva F,Godo L.Monoidal t-norm based logic:Towards a logic for left-continous t-norms.Fuzzy Sets and Systems,2001,124:271～88.
  • 7Ying M S.Perturbation of fuzzy reasoning.IEEE Trans Fuzzy Sys,1999,7:625～629.
  • 8Ying M S.Implications operators in fuzzy logic.IEEE Trans Fuzzy Sys,2002,10:88～91.
  • 9Klement E P,Navara M.Propositional fuzzy logics based on Frank t-norms:A comparison.In:Dubois D,ed.Fuzzy Sets,Logics and Reasoning about Knowledge.Kluwer Academic Publishers,1999.
  • 10Whalen T.Parameterized R-implications.Fuzzy Sets and Systems,2003,134:231～281.

共引文献27

同被引文献19

  • 1ZHANG Xiaohong,HE Huacan,XU Yang.A fuzzy logic system based on Schweizer-Sklar t-norm[J].Science in China(Series F),2006,49(2):175-188. 被引量：7
  • 2张小红,刘三阳,刘用麟.伪MTL-代数(WPBL-代数)的正规滤子[J].西安电子科技大学学报,2006,33(5):829-832. 被引量：8
  • 3张小红.非可换模糊逻辑系统PL~*及其完备性[J].数学学报（中文版）,2007,50(2):421-442. 被引量：8
  • 4张小红.基于左连续伪T-模的非可换模糊逻辑系统PUL＊[J].数学进展,2007,36(3):295-308. 被引量：7
  • 5Georgescu G, Popescu A. Non-commutative Iuzzy structures and pairs of weak negations [J]. Fuzzy Sets and Systems, 2004, 143: 129-155.
  • 6Georgescu G, Leustean L, Preoteasa V. Pseudo-hoops [J]. J of Multiple-Valued Logic and Soft Computing, 2005, 11: 153-184.
  • 7Iorgulescu A, Iseki algebras. Connection with BL-algebras [J]. Soft Computing, 2004, 8: 449-463.
  • 8Chajda I, Halas R. A basic algebra is an MV-atgebra if and only if it is a BCC-algebra [J]. International Journal of Theo retical Physics, 2008, 47: 261-267.
  • 9Zhang Xiaohong, Li Weihua. On pseudo-BL algebras and BCC-algebras [J]. Soft Computing, 2006, 10(10): 941-952.
  • 10Zhang Xiaohong, Qin Keyun, Dudek W A. Ultra LI-ideals in lattice implication algebras and MTL-algebras [J]. Czechoslovak Math J, 2007, 57(132) : 591-605.

引证文献2

二级引证文献5

模糊系统与数学
2007年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部