Lattice implication ordered semigroups

DOI10.1016/j.ins.2007.08.017zbMath1133.06303OpenAlexW2053399223MaRDI QIDQ2466097

Yang Xu, Xiaodong Pan

Publication date: 11 January 2008

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2007.08.017

zbMATH Keywords

filterlattice implication algebraimplication semigrouplattice-ordered semigroup\(sl\)-ideal

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05)

Related Items (7)

A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic ⋮ On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras ⋮ On the algebraic structure of binary lattice-valued fuzzy relations ⋮ Characterizations of regular ordered semigroups in terms of \((\alpha , \beta )\)-fuzzy generalized bi-ideals ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra ⋮ Fuzzy ideals and semiprime fuzzy ideals in semigroups.

Cites Work

• Regular ordered semigroups in terms of fuzzy subsets
• Redefined fuzzy implicative filters
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• Homomorphisms of implicative semigroups
• On P-Q ordered semigroups
• Filters and structure of lattice implication algebra
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras.
• Fuzzy sets in ordered groupoids
• \(L\)-valued propositional logic \(L_{\text{vpl}}\)
• On ordered filters of implicative semigroups
• Fuzzy bi-ideals in ordered semigroups
• Fuzzy logic from the viewpoint of machine intelligence
• Representable divisibility semigroups
• ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft
• On the consistency of rule bases based on lattice-valued first-order logic LF(X)
• A characterization of Artinian $l$-semigroups
• On Dedekindian $l$-semigroups and its lattice-ideals
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lattice implication ordered semigroups