Lattice implication ordered semigroups

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.

[1]  Jun Liu,et al.  Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability , 2003, Studies in Fuzziness and Soft Computing.

[2]  OnP-Q ordered semigroups , 1994 .

[3]  Young Bae Jun,et al.  LI-ideals in lattice implication algebras , 1998 .

[4]  Etienne E. Kerre,et al.  alpha-Resolution principle based on lattice-valued propositional logic LP(X) , 2000, Inf. Sci..

[5]  K. Murata.  A characterization of Artinian $l$-semigroups , 1971 .

[6]  Niovi Kehayopulu,et al.  Fuzzy bi-ideals in ordered semigroups , 2005, Inf. Sci..

[7]  B. Bosbach.  Representable divisibility semigroups , 1991, Proceedings of the Edinburgh Mathematical Society.

[8]  Keyun Qin,et al.  ILI-ideals and prime LI-ideals in lattice implication algebras , 2003, Inf. Sci..

[9]  Jun Liu,et al.  L-Valued Propositional Logic Lvpl , 1999, Inf. Sci..

[10]  Jun Liu,et al.  On the consistency of rule bases based on lattice‐valued first‐order logic LF(X) , 2006, Int. J. Intell. Syst..

[11]  K. Shum,et al.  Homomorphisms of implicative semigroups , 1993 .

[12]  Xu Yang,et al.  Filters and structure of lattice implication algebra , 1997 .

[13]  Niovi Kehayopulu.  ON REGULAR ORDERED SEMIGROUPS , 1997 .

[14]  On ordered filters of implicative semigroups , 1997 .

[15]  Yang Xu,et al.  On the consistency of rule bases based on lattice-valued first-order logic LF(X): Research Articles , 2006 .

[16]  Yang Xu,et al.  Fuzzy logic from the viewpoint of machine intelligence , 2006, Fuzzy Sets Syst..

[17]  Qin Ke-yun,et al.  L -valued propositional logic L vpl , 1999 .

[18]  Da Ruan,et al.  Filter-based resolution principle for lattice-valued propositional logic LP(X) , 2007, Inf. Sci..

[19]  Y. Xu.  Lattice implication algebras , 1993 .

[20]  N. Kehayopulu,et al.  Fuzzy sets in ordered groupoids , 2002 .

[21]  Etienne E. Kerre,et al.  alpha-Resolution principle based on first-order lattice-valued logic LF(X) , 2001, Inf. Sci..

[22]  Liu Jun,et al.  ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft , 2000 .

[23]  J. Howie.  Fundamentals of semigroup theory , 1995 .

[24]  Amal El-Nahas,et al.  Location management techniques for mobile systems , 2000, Inf. Sci..

[25]  Niovi Kehayopulu,et al.  Regular ordered semigroups in terms of fuzzy subsets , 2006, Inf. Sci..

[26]  Jun Ma,et al.  Redefined fuzzy implicative filters , 2007, Inf. Sci..