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 条
  • [1] The Lattice of Varieties of Implication Semigroups
    Sergey V. Gusev
    Hanamantagouda P. Sankappanavar
    Boris M. Vernikov
    Order, 2020, 37 : 271 - 277
  • [2] The Lattice of Varieties of Implication Semigroups
    Gusev, Sergey, V
    Sankappanavar, Hanamantagouda P.
    Vernikov, Boris M.
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2020, 37 (02): : 271 - 277
  • [3] Lattice ordered semigroups and Γ-hypersemigroups
    Kehayopulu, Niovi
    TURKISH JOURNAL OF MATHEMATICS, 2020, 44 (05) : 1835 - 1851
  • [4] On ordered Γ-hypersemigroups and their relation to lattice ordered semigroups
    Kehayopulu, Niovi
    TURKISH JOURNAL OF MATHEMATICS, 2021, 45 (03) : 1120 - 1132
  • [5] On lattice-ordered commutative semigroups
    Laszlo Fuchs
    Raquel Reis
    algebra universalis, 2003, 50 : 341 - 357
  • [6] On lattice-ordered commutative semigroups
    Fuchs, L
    Reis, R
    ALGEBRA UNIVERSALIS, 2003, 50 (3-4) : 341 - 357
  • [7] Decompositions of Ordered Semigroups into a Chain of k-Archimedean Ordered Semigroups
    Zhu, QingShun
    Popovic, Zarko
    FILOMAT, 2016, 30 (10) : 2771 - 2780
  • [8] Duality in Lattice Implication Algebra
    Zhao, Li
    Xu, Yang
    FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011), 2011, 122 : 181 - 190
  • [9] Fuzzy filters in ordered semigroups
    Shabir M.
    Khan A.
    Lobachevskii Journal of Mathematics, 2008, 29 (2) : 82 - 89
  • [10] Characterizations of Lattice Ordered Semigroups in Pre-A*_Algebras-A Math Technique in Communication Technology
    Rao, Jonnalagadda Venkateswara
    Kalyani, D.
    Emani, S. R. Ravi Kumar
    Rao, T. Nageswara
    Srinivas, M. N.
    WIRELESS PERSONAL COMMUNICATIONS, 2024, 139 (03) : 1423 - 1436