您的位置:山东大学 -> 科技期刊社 -> 《山东大学学报(理学版)》

山东大学学报(理学版) ›› 2018, Vol. 53 ›› Issue (2): 65-72.doi: 10.6040/j.issn.1671-9352.0.2017.508

• • 上一篇    下一篇

关于格蕴涵代数的(∈,∈∨q(λ, μ))-模糊LI-理想

刘春辉   

  1. 赤峰学院数学与统计学院, 内蒙古 赤峰 024001
  • 收稿日期:2017-09-27 出版日期:2018-02-20 发布日期:2018-01-31
  • 作者简介:刘春辉(1982— ), 男, 硕士, 副教授, 研究方向为非经典数理逻辑、Domain理论与拓扑学. E-mail:chunhuiliu1982@163.com
  • 基金资助:
    内蒙古自治区高等学校科学研究资助项目(NJSY14283,NJZY17301)

On(∈,∈∨q(λ, μ))-fuzzy LI-ideals in lattice implication algebras

LIU Chun-hui   

  1. Department of Mathematics and Statistics, Chifeng University, Chifeng 024001, Inner Mongolia, China
  • Received:2017-09-27 Online:2018-02-20 Published:2018-01-31

摘要: 首先, 对格蕴涵代数的(∈,∈∨q(λ, μ))-模糊LI-理想概念作进一步深入研究, 获得了(∈,∈∨q(λ, μ))-模糊LI-理想的一些新的性质和刻画。 其次, 在由给定的格蕴涵代数L上全体模糊集构成的集合上定义了一个偏序关系, 利用给出了由L上的一个模糊集生成的(∈,∈∨q(λ, μ))-模糊LI-理想的定义并建立了其表示定理。 最后, 证明了L关于给定偶对(λ, μ)的全体(∈,∈∨q(λ, μ))-模糊LI-理想之集在偏序下构成一个完备的分配格。

关键词: 分配格, 格蕴涵代数, 完备格, (∈,∈∨q(λ, μ))-模糊LI-理想, 格值逻辑

Abstract: Firstly, the notion of (∈,∈∨q(λ, μ))-fuzzy LI-ideals in lattice implication algebras is further studied, and some new properties and equivalent characterizations of (∈,∈∨q(λ, μ))-fuzzy LI-ideals are given. Secondly, a partial order is defined on the set of all fuzzy sets in a given lattice implication algebra L, the definition of (∈,∈∨q(λ, μ))-fuzzy LI-ideal which is generated by a fuzzy set is given and its representation theorem is established by using. Finally, It is proved that the set consisting of all (∈,∈∨q(λ, μ))-fuzzy LI-ideals with respect to a fixed pair(λ, μ)in a given lattice implication algebra, under the partial order, forms a complete distributive lattice.

Key words: distributive lattice, lattice implication algebra, complete lattice, lattice-valued logic, (∈,∈∨q(λ, μ))-fuzzy LI-ideal

中图分类号: 

  • O141.1
[1] BORNS D W, MACK J M. An algebraic introduction on mathematical logic[M]. Berlin: Springer, 1975.
[2] GOGUEN J A. The logic of inexact concepts[J]. Synthese, 1969, 19:325-373.
[3] PAVELKA J. On fuzzy logic I, II, III[J]. Zeitschr Math Logik Grundlag Math, 1979, 25(1):45-52; 119-134; 447-464.
[4] NOVAK V. First-order fuzzy logic[J]. Studia Logic, 1982, 46(1):87-109.
[5] BOLC L, BOROWIK P. Many-valued Logics[M]. Berlin: Springer, 1992.
[6] 徐扬. 格蕴涵代数[J]. 西南交通大学学报, 1993, 28(1):20-27. XU Yang. Lattice implication algebras[J]. Journal of Southwest Jiaotong University, 1993, 28(1):20-27.
[7] XU Yang, RUAN D, QIN Keyun, et al. Lattice-valued logic[M]. Berlin: Springer, 2004.
[8] JUN Y B, ROH E H, XU Yang. LI-ideals in lattice implication algebras[J]. Bull Korean Math Soc, 1998, 35:13-24.
[9] LIU Yonglin, LIU Ssanyang, XU Yang, et al. ILI-ideals and prime LI-ideals in lattice implication algebras[J]. Information Sciences, 2003, 155:157-175.
[10] 刘春辉. 格蕴涵代数的LI-理想格及其素元刻画[J]. 高校应用数学学报(A辑), 2014, 29(4):475-482. LIU Chunhui. LI-ideals lattice and its prime elements characterizations in a lattice implication algebra[J]. Applied Mathematics A Journal of Chinese Universities(Series A), 2014, 29(4):475-482.
[11] 刘春辉. 格蕴涵代数的扩展LI-理想[J]. 高校应用数学学报(A辑), 2015, 30(3):306-320. LIU Chunhui. Extended LI-ideals in lattice implication algebras[J]. Applied Mathematics A Journal of Chinese Universities(Series A), 2015, 30(3):306-320.
[12] JUN Y B, XU Yang. Fuzzy LI-ideals and in lattice implication algebras[J]. J Fuzzy Math, 1999, 7(4):997-1003.
[13] PENG Jiayin.(∈,∈∨q)-fuzzy LI-ideals in lattice implication algebras[J]. Lecture Notes in Electrical Engineering, 2012, 135:221-226.
[14] 刘春辉, 徐罗山. 格蕴涵代数的(∈,∈∨q[k] )-fuzzy LI-理想[J]. 纯粹数学与应用数学, 2011, 27(3):363-376. LIU Chunhui, XU Luoshan.(∈,∈∨q[k] )-fuzzy LI-ideals in lattice implication algebras[J]. Pure and Applied Mathematics, 2011, 27(3):363-376.
[15] 傅小波, 廖祖华, 郑高平, 等. 格蕴涵代数的(∈,∈∨q(λ, μ))-模糊LI-理想[J]. 模糊系统与数学, 2014, 28(5):41-50. FU Xiaobo, LIAO Zuhua, ZHENG Gaoping, et al.(∈,∈∨q(λ, μ))-fuzzy LI-ideals in lattice implication algebras[J]. Fuzzy Systems and Mathematics, 2014, 28(5):41-50.
[1] 邵勇. 半格序完全正则周期半群[J]. 山东大学学报(理学版), 2018, 53(10): 1-5.
[2] 刘春辉. BL代数的(,∨(-overq))-模糊滤子格[J]. 山东大学学报(理学版), 2017, 52(10): 104-110.
[3] 彭家寅. 格蕴涵代数的不分明化滤子[J]. 山东大学学报(理学版), 2016, 51(2): 119-126.
[4] 卢涛, 王习娟, 贺伟. Topos中选择公理的一个等价刻画[J]. 山东大学学报(理学版), 2015, 50(12): 54-57.
[5] 沈冲, 姚卫. 模糊完备格上模糊G-理想和模糊Galois伴随之间的一一对应[J]. 山东大学学报(理学版), 2015, 50(04): 36-41.
[6] 鲁静, 赵彬. 模糊Quantale范畴中的投射对象[J]. 山东大学学报(理学版), 2015, 50(02): 47-54.
[7] 周异辉1,马崛2. 模糊完备格范畴中的乘积和余积[J]. J4, 2012, 47(8): 122-126.
[8] 汪义瑞1, 李生刚2. 有限集合上的拟一致结构与拓扑[J]. J4, 2011, 46(8): 80-83.
[9] 谢维奇1,2,刘道广1,张丽2. 内P-集合的代数性质[J]. J4, 2011, 46(3): 69-72.
[10] 乔希民1,2,吴洪博1*. 格上BR0-代数结构的表示定理[J]. J4, 2010, 45(9): 38-42.
[11] 张丽梅1,2. 分配格上矩阵的M-P逆和加权M-P逆[J]. J4, 2010, 45(12): 33-39.
[12] 王凌云. 半环上的分配格同余[J]. J4, 2009, 44(9): 63-65.
[13] 刘惊雷 王玲玲 张伟. 角色分配格的生成算法[J]. J4, 2009, 44(11): 52-56.
[14] 钟晓静,李生刚*,苏华飞 . 预拓扑与网族的预收敛类[J]. J4, 2007, 42(8): 62-66 .
[15] 杨小飞,李生刚* . 预导算子、预差导算子及预拓扑[J]. J4, 2007, 42(12): 55-57 .
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!