• Title/Summary/Keyword: distributive lattice

Search Result 37, Processing Time 0.018 seconds

Intuitionistic Fuzzy Ideals on A Distributive Lattice (분배속 상의 직관적 퍼지 아이디얼)

  • Kul Hur;Kang, Hee-Won;Song, Hyeong-Kee
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2004.04a
    • /
    • pp.372-377
    • /
    • 2004
  • We introduce the concepts of intuitionistic fuzzy ideals and intuitionistic fuzzy congruences on a lattice, and discuss the relationship between intuitionistic fuzzy ideals and intuitionistic fuzzy congruence on a distributive lattice. Also we prove that for a generalized Boolean algebra, the lattice of intuitionistic fuzzy ideals is isomorphic to the lattice of intuitionistic fuzzy congruences. Finally, we consider the products of intuitionistic fuzzy ideals and obtain a necessary and sufficient condition for an intuitionistic fuzzy ideals on the direct sum of lattices to be representable on a direct sum of intuitionistic fuzzy ideals on each lattice.

  • PDF

𝛽-FUZZY FILTERS OF STONE ALMOST DISTRIBUTIVE LATTICES

  • ALEMAYEHU, TEFERI GETACHEW;GUBENA, YESHIWAS MEBRAT
    • Journal of applied mathematics & informatics
    • /
    • v.40 no.3_4
    • /
    • pp.445-460
    • /
    • 2022
  • In this paper, we studied on 𝛽-fuzzy filters of Stone almost distributive lattices. An isomorphism between the lattice of 𝛽-fuzzy filters of a Stone ADL A onto the lattice of fuzzy ideals of the set of all boosters of A is established. The fact that any 𝛽-fuzzy filter of A is an e-fuzzy filter of A is proved. We discuss on some properties of prime 𝛽-fuzzy filters and some topological concepts on the collection of prime 𝛽-fuzzy filters of a Stone ADL. Further we show that the collection 𝓣 = {X𝛽(λ) : λ is a fuzzy ideal of A} is a topology on 𝓕Spec𝛽(A) where X𝛽(λ) = {𝜇 ∈ 𝓕Spec𝛽(A) : λ ⊈ 𝜇}.

FUZZY LATTICES

  • Chon, Inheung
    • Korean Journal of Mathematics
    • /
    • v.16 no.3
    • /
    • pp.403-412
    • /
    • 2008
  • We define the operations ${\vee}$ and ${\wedge}$ for fuzzy sets in a lattice, characterize fuzzy sublattices in terms of ${\vee}$ and ${\wedge}$, develop some properties of the distributive fuzzy sublattices, and find the fuzzy ideal generated by a fuzzy subset in a lattice and the fuzzy dual ideal generated by a fuzzy subset in a lattice.

  • PDF

CHARACTERIZATIONS OF DISTRIBUTIVE LATTICES AND SEMICONTINUOUS LATTICES

  • Guanghao, Jiang;Weixue, Shi
    • Bulletin of the Korean Mathematical Society
    • /
    • v.47 no.3
    • /
    • pp.633-643
    • /
    • 2010
  • In this paper, the concept of maximal ideals relative to a filter on posets is introduced and examined. An intrinsic characterization of distributive lattices is obtained. In addition, we also give a characterization of pseudo primes in semicontinuous lattices and a characterization of semicontinuous lattices. Functions of semicontinuous lattices which are order preserving and semicontinuous are studied. A new concept of semiarithmetic lattices is introduced and examined.

ON QUASI-LATTICE IMPLICATION ALGEBRAS

  • YON, YONG HO
    • Journal of applied mathematics & informatics
    • /
    • v.33 no.5_6
    • /
    • pp.739-748
    • /
    • 2015
  • The notion of quasi-lattice implication algebras is a generalization of lattice implication algebras. In this paper, we give an optimized definition of quasi-lattice implication algebra and show that this algebra is a distributive lattice and that this algebra is a lattice implication algebra. Also, we define a congruence relation ΦF induced by a filter F and show that every congruence relation on a quasi-lattice implication algebra is a congruence relation ΦF induced by a filter F.

On Atomic Lattices

  • Lee, Seung-On;Yon, Yong-Ho;Hwang, In-Jae
    • Journal for History of Mathematics
    • /
    • v.19 no.4
    • /
    • pp.97-106
    • /
    • 2006
  • The lattice originated from logic, not mathematics. Around 1880, Peirce thought that all the lattices were distributives, however $Schr{\"{o}}der$ corrected the error around 1890. In 1993, Birkhoff used the term lattice for the first time that had a different meaning from today's lattice. This paper introduces Peirce, and studies correlation among atomic lattices, atomistic lattices, J-lattices, strong lattices and distributive lattices.

  • PDF

On Semirings which are Distributive Lattices of Rings

  • Maity, S.K.
    • Kyungpook Mathematical Journal
    • /
    • v.45 no.1
    • /
    • pp.21-31
    • /
    • 2005
  • We introduce the notions of nilpotent element, quasi-regular element in a semiring which is a distributive lattice of rings. The concept of Jacobson radical is introduced for this kind of semirings.

  • PDF

FUZZY PARTIAL ORDER RELATIONS AND FUZZY LATTICES

  • Chon, Inheung
    • Korean Journal of Mathematics
    • /
    • v.17 no.4
    • /
    • pp.361-374
    • /
    • 2009
  • We characterize a fuzzy partial order relation using its level set, find sufficient conditions for the image of a fuzzy partial order relation to be a fuzzy partial order relation, and find sufficient conditions for the inverse image of a fuzzy partial order relation to be a fuzzy partial order relation. Also we define a fuzzy lattice as fuzzy relations, characterize a fuzzy lattice using its level set, show that a fuzzy totally ordered set is a distributive fuzzy lattice, and show that the direct product of two fuzzy lattices is a fuzzy lattice.

  • PDF

ON f-DERIVATIONS FROM SEMILATTICES TO LATTICES

  • Yon, Yong Ho;Kim, Kyung Ho
    • Communications of the Korean Mathematical Society
    • /
    • v.29 no.1
    • /
    • pp.27-36
    • /
    • 2014
  • In this paper, we introduce the notion of f-derivations from a semilattice S to a lattice L, as a generalization of derivation and f-derivation of lattices. Also, we define the simple f-derivation from S to L, and research the properties of them and the conditions for a lattice L to be distributive. Finally, we prove that a distributive lattice L is isomorphic to the class $SD_f(S,L)$ of all simple f-derivations on S to L for every ${\wedge}$-homomorphism $f:S{\rightarrow}L$ such that $f(x_0){\vee}f(y_0)=1$ for some $x_0,y_0{\in}S$, in particular, $$L{\simeq_-}=SD_f(S,L)$$ for every ${\wedge}$-homomorphism $f:S{\rightarrow}L$ such that $f(x_0)=1$ for some $x_0{\in}S$.