期刊文献+

L_n×L_2上几类特殊类型格蕴涵代数方程的解法 被引量:1

To Solve Some Special Classes of Lattice Implication Algebraic Equations of L_n×L_2
下载PDF
导出
摘要 在格蕴涵代数中提出了加既约元、乘既约元,研究了一类重要的格蕴涵代数Ln×L2中元素的不可约有限分解,并将这一理论用于研究Ln×L2上的几类格蕴涵代数方程,讨论了方程有解的充分必要条件,在此基础上给出了方程的具体解集。 In this paper, product-irreducible and sum-irreducible element of lattice implication algebra are proposed. The decomposition for the element of Ln×L2 which is an important lattice implication algebra are investigated, and used it to solve some special classes of lattice implication algebra of Ln×L2. The necessary and sufficient conditions to distinguish whether equations have solutions are discussed, on the base of it, the detailed solution set are given.
出处 《模糊系统与数学》 CSCD 北大核心 2009年第6期17-23,共7页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(60875034) 教育部博士点专项基金资助项目(20060613007)
关键词 格蕴涵代数 格蕴涵代数方程 不可约分解 解集 Lattice Implication Algebra Lattice Implication Algebraic Equations Irreducible Decompotion Solution Set
  • 相关文献

参考文献8

二级参考文献35

  • 1Qin Keyun,Xu Yang( Dept. of Appl. Mathematics, Southwest Jiaotong University)Chengdu 610031,China.Lattice-Valued Proposition Logic(Ⅱ)[J].Journal of Modern Transportation,1994,11(1):22-27. 被引量:13
  • 2徐扬,秦克云.格H蕴涵代数与格蕴涵代数类[J].河北工程大学学报(自然科学版),1992,22(3):139-143. 被引量:16
  • 3乔全喜,徐扬.蕴涵算子[J].西南交通大学学报,1995,30(2):188-193. 被引量:7
  • 4潘小东,徐扬,张青.格蕴涵代数中的格蕴涵代数方程[J].西南交通大学学报,2005,40(6):842-845. 被引量:8
  • 5Xu Yang,Qin Ke-yun,Lattiee-valued propositional logie(I)[J]. Journal of Southwest Jiaotong University, 1993,1(2) : 123-128. 被引量:1
  • 6Xu Yang,Ruan Da,Kerre E E,et al.α-resolution principle based on lattice-valued logic[J].Information Science,2000,1(30) : 195-223. 被引量:1
  • 7Wang Wei,Xu Yang,Wang Xue-fang,α-automated reasoning method based on lattice-valued propositional logic LP(X)[J].Journal of Southwest Jiaotong University,2002,10( 1 ) :98-111. 被引量:1
  • 8Wang Wei,Jiang Bao-qing,Xu Yang.α-automated reasoning method based on LP(X)[C]//FLINS 2004 6th International Conference on Applied Computational Intelligence.Bankenberghe:World Scientific Press, 2004 .105-110. 被引量:1
  • 9Meng Dan,Wang Xue-fang,Xu Yang,et al.Resolution based on six lattice-valued proposition logic L6P(X)[C]//IEEE International Conference on Systems,Man & Cybernetics,2003.2489-2494. 被引量:1
  • 10Qiu Xiao-ping,Li Hai-ming,Du Ya-jun,et al.Adding forecast support to workflow management system by classical logic formula computing[C]//Proceedings of the Second International Conference on Machine Learning and Cybernetics(ICMLC'2003),Xi'an,Nov 2003,4:2061-2066. 被引量:1

共引文献323

同被引文献11

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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