关于蕴含格的一些注记
Notes on the Implicative Lattices
摘要: 本文证明了当蕴含格作为
L-代数时，其
L-理想格和
L-同余格是同构的以及
L-同余格与它作为蕴含格的同余格也是同构的。进一步给出了Heyting代数中同余关系更一般的简化。
Abstract:
In this paper, we prove that L-ideals lattice and L-congruences lattice are isomorphic when the implicative lattice is an L-algebra, and L-congruences lattice is isomorphic to its congruences lattice when L is an implicative lattice. Furthermore, a more general simplification of congruence relations in Heyting algebras is given.
参考文献
|
[1]
|
Wang, G.J. (1999) On the Logic Foundation of Fuzzy Reasoning. Information Sciences, 117, 47-88. [Google Scholar] [CrossRef]
|
|
[2]
|
王国俊. 数理逻辑引论与归结原理[M]. 北京: 科学出版社, 2003.
|
|
[3]
|
Birkhoff, G. (1967) Lattice Theory. 3rd Edition, American Mathematical Society, New York.
|
|
[4]
|
郑崇友, 樊磊, 崔宏斌. Frame与连续格[M]. 北京: 首都师范大学出版社, 2000.
|
|
[5]
|
He, W. (1998) Spectrums of Heyting Algebras. Advances in Mathematics, 27, 139-142.
|
|
[6]
|
苏忍锁, 张馨文. Heyting代数与剩余格[J]. 陕西理工学院学报(自然科学版), 2009, 25(4): 63-69.
|
|
[7]
|
黄文平. Heyting代数的若干性质[J]. 陕西师大学报(自然科学版), 1995, 23(4): 109-110.
|
|
[8]
|
刘春辉. Heyting代数的扩张模糊滤子[J]. 山东大学学报(理学版), 2019, 54(2): 57-65.
|
|
[9]
|
杨静梅, 冯爽, 姚卫. Heyting代数中同余关系的简化[J]. 河北科技大学学报, 2012, 33(6): 479-481.
|
|
[10]
|
Rump, W. (2008) L-Algebras, Self-Similarity, and l-Groups. Journal of Algebra, 320, 2328-2348. [Google Scholar] [CrossRef]
|
|
[11]
|
方捷. 格论导引[M]. 北京: 高等教育出版社, 2014.
|