Lattice implication ordered semigroups

被引:21
|
作者
Pan, Xiaodong [1 ,2 ]
Xu, Yang [2 ]
机构
[1] SW Jiaotong Univ, Dept Math, Chengdu 610031, Peoples R China
[2] SW Jiaotong Univ, Intelligent Control Dev Ctr, Chengdu 610031, Peoples R China
基金
高等学校博士学科点专项科研基金; 中国国家自然科学基金;
关键词
lattice ordered semigroup; implication semigroup; lattice implication algebra; filter; sl ideal;
D O I
10.1016/j.ins.2007.08.017
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
From the viewpoint of semantics, lattice implication algebras provide a basis to establish lattice-valued logic with truth value in a relatively general lattice. In this paper, we first introduce two notions of lattice implication n-ordered semigroup, and lattice implication p-ordered semigroup, which induced by lattice implication algebras. Secondly, we study some of their basic properties and prove that a lattice implication n-ordered semigroup is a residuated semigroup, and a lattice implication p-ordered semigroup is an arithmetic lattice ordered semigroup. We also define the homomorphism mapping between lattice implication n-ordered semigroups. Finally, we discuss some properties of filters and sl ideals in lattice implication n-ordered semigroups and lattice implication p-ordered semigroups. (c) 2007 Elsevier Inc. All rights reserved.
引用
收藏
页码:403 / 413
页数:11
相关论文
共 50 条
  • [21] SOME RESULTS ON PRIME RADICAL IN ORDERED Γ-SEMIGROUPS
    Hila, Kostaq
    MATHEMATICAL REPORTS, 2014, 16 (02): : 253 - 270
  • [22] Fuzzy bi-ideals in ordered semigroups
    Kehayopulu, N
    Tsingelis, M
    INFORMATION SCIENCES, 2005, 171 (1-3) : 13 - 28
  • [23] Implicative Negatively Partially Ordered Ternary Semigroups
    Nakwan, Kansada
    Luangchaisri, Panuwat
    Changphas, Thawhat
    EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2024, 17 (04): : 4180 - 4194
  • [24] Ordered Semigroups Having the P-Property
    Kehayopulu, N.
    Tsingelis, M.
    RUSSIAN MATHEMATICS, 2008, 52 (12) : 23 - 27
  • [25] Ordered semigroups having the P-property
    N. Kehayopulu
    M. Tsingelis
    Russian Mathematics, 2008, 52 (12) : 23 - 27
  • [26] A definition of lattice implication algebra based on implication operator
    Yi, Liangzhong
    Pei, Zheng
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [27] Some properties of fuzzy filters in lattice implication algebras
    Xu, Weitao
    Zou, Li
    Chang, Zhiyan
    Bai, Lijun
    Xu, Yang
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [28] On derivations of lattice implication algebras
    Lee, Sang Deok
    Kim, Kyung Ho
    ARS COMBINATORIA, 2013, 108 : 279 - 288
  • [29] Soft Lattice Implication Subalgebras
    Zheng, Gaoping
    Liao, Zuhua
    Wang, Nini
    Zhang, Licheng
    Fan, Yingying
    Zhu, Chan
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2013, 7 (03): : 1181 - 1186
  • [30] Soft lattice implication algebras
    Peng Jiayin
    2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL IV, 2010, : 228 - 231