期刊文献+

Finite Simple Lattice Implication Algebras 被引量:1

Finite Simple Lattice Implication Algebras
下载PDF
导出
摘要 在这份报纸,有限格子含意代数学简单的一些必要、足够的条件是 established.Specially ,如果并且仅当,有限格子含意代数学 L 简单,这被证明如果并且仅当( L ,)是链,如果并且仅当在那里存在在 L.Also 的唯一的双原子,有一个素数的顺序的有限格子含意代数学简单,这被给。 In this paper, some necessary and sufficient conditions that a finite lattice implication algebra is simple are established. Specially, it is proved that a finite lattice implication algebra L is simple if and only if (L, ≤) is a chain, if and only if there exists the unique dual atom in L. Also, it is given that a finite lattice implication algebra with order of a prime number is simple.
作者 ZHU Yi-quan
出处 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2008年第3期423-429,共7页 数学季刊(英文版)
基金 Supported by a grant of Natural Science Foundation of Guangdong Province in China(021073)
关键词 有限单纯格 蕴涵代数 模糊数学 抽象代数 lattice implication algebra simplicity periodicity
  • 相关文献

参考文献4

二级参考文献13

  • 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):121-127. 被引量:37
  • 4徐扬.格蕴涵代数中的同态[A]..中国第五届多值逻辑学术会议论文集[C].南京:南京大学出版社,1992.267-290.
  • 5Leonard B, Piotr B.Many-valued logics[M].New York-Heidelberg-Berlin: Springer, 1992: 3-26.
  • 6Xu Y, Qin K Y.Lattice-valued propositional logic [J].Journal of Southwest Jiaotong University, 1993; (2): 123-128.
  • 7Doanld W B, John M M.An algebraic introduction to mathematical logic[M].New York-Heidelberg-Berlin: Springer,1975: 1-26.
  • 8秦克云 徐扬.一阶格值逻辑系统FM的语义问题[A]..西南交通大学百周年校庆论文集(研究生分册)[C].成都:西南交通大学出版社,1996..
  • 9刘军,徐扬.格蕴涵代数的滤子与结构[J].科学通报,1997,42(10):1049-1052. 被引量:23
  • 10徐扬,秦克云,宋振明.一阶格值逻辑系统FM的语法问题[J].科学通报,1997,42(10):1052-1055. 被引量:14

共引文献322

同被引文献2

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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