机构:
SW Jiaotong Univ, Dept Math, Chengdu 610031, Peoples R China
SW Jiaotong Univ, Intelligent Control Dev Ctr, Chengdu 610031, Peoples R ChinaSW Jiaotong Univ, Dept Math, Chengdu 610031, Peoples R China
Pan, Xiaodong
[1
,2
]
Xu, Yang
论文数: 0引用数: 0
h-index: 0
机构:
SW Jiaotong Univ, Intelligent Control Dev Ctr, Chengdu 610031, Peoples R ChinaSW Jiaotong Univ, Dept Math, Chengdu 610031, Peoples R China
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
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.
机构:
Gyeongsang Natl Univ, Dept Math Educ, Chinju 660701, South Korea
Gyeongsang Natl Univ, RINS, Chinju 660701, South KoreaHannam Univ, Dept Math Educ, Taejon 306791, South Korea
Jun, Young Bae
Lee, Kyoung Ja
论文数: 0引用数: 0
h-index: 0
机构:
Hannam Univ, Dept Math Educ, Taejon 306791, South KoreaHannam Univ, Dept Math Educ, Taejon 306791, South Korea
Lee, Kyoung Ja
Khan, Asghar
论文数: 0引用数: 0
h-index: 0
机构:
Quaid I Azam Univ, Dept Math, Islamabad, PakistanHannam Univ, Dept Math Educ, Taejon 306791, South Korea
机构:
Univ Nova Lisboa, FCT, Dept Matemat, P-2829516 Monte De Caparica, PortugalUniv Nova Lisboa, FCT, Dept Matemat, P-2829516 Monte De Caparica, Portugal