• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.2
• /
• pp.115-127
• /
• 2009

In the present paper we introduce and study L-pre-$T_0$-, L-pre-$T_1$-, L-pre-$T_2$ (L-pre-Hausdorff)-, L-pre-$T_3$ (L-pre-regularity)-, L-pre-$T_4$ (L-pre-normality)-, L-pre-strong-$T_3$-, L-pre-strong-$T_4$-, L-pre-$R_0$-, L-pre-$R_1$-separation axioms in (2, L)-topologies where L is a complete residuated lattice.Sometimes we need more conditions on L such as the completely distributive law or that the "$\bigwedge$" is distributive over arbitrary joins or the double negation law as we illustrate through this paper. As applications of our work the corresponding results(see[1,2]) are generalized and new consequences are obtained.

• Journal of applied mathematics & informatics
• /
• v.39 no.3_4
• /
• pp.569-585
• /
• 2021

In this paper, we introduce the concept of relative co-fuzzy annihilator filters in distributive lattices. We give a set of equivalent conditions for a co-fuzzy annihilator to be a fuzzy filter and we characterize distributive lattices with the help of co-fuzzy annihilator filters. Furthermore, using the concept of relative co-fuzzy annihilators, we prove that the class of fuzzy filters of distributive lattices forms a Heyting algebra. We also study co-fuzzy annihilator filters. It is proved that the set of all co-fuzzy annihilator filters forms a complete Boolean algebra.

• Journal of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.217-225
• /
• 1996

An orthomodular lattice (abbreviated by OML) is an ortholattice L which satisfies the orthomodular law: if x $\leq$ y, then $y = x \vee (x' \wedge y)$ [5]. A Boolean algebra B is an ortholattice satisfying the distributive law : $x \vee (g \wedge z) = (x \vee y) \wedge (x \vee z) \forall x, y, z \in B$.

• Kyungpook Mathematical Journal
• /
• v.27 no.1
• /
• pp.47-54
• /
• 1987

• Journal of Applied and Pure Mathematics
• /
• v.5 no.1_2
• /
• pp.1-8
• /
• 2023

This study is on a Boolean B or Boolean lattice L in abstract algebra with closed binary operation *, complement and distributive properties. Both Binary operations and logic properties dominate this set. A lattice sheds light on binary operations and other algebraic structures. In particular, the construction of the elements of this L set from idempotent elements, our definition of k-order idempotent has led to the expanded definition of the definition of the lattice theory. In addition, a lattice offers clever solutions to vital problems in life with the concept of logic. The restriction on a lattice is clearly also limit such applications. The flexibility of logical theories adds even more vitality to practices. This is the main theme of the study. Therefore, the properties of the set elements resulting from the binary operation force the logic theory. According to the new definition given, some properties, lemmas and theorems of the lattice theory are examined. Examples of different situations are given.

• Journal of the Chungcheong Mathematical Society
• /
• v.11 no.1
• /
• pp.13-26
• /
• 1998

The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ${\rhd}$ which is a generalization of the implication in the Heyting algebra, and define a bounded ness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying $x=(x{\rhd}y){\rhd}x$ for all $x,y{\in}X$.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.3
• /
• pp.357-366
• /
• 2006

We introduce the notion of intuitionistic fuzzy (t, s)-congruences on a lattice and study some of its properties. Moreover, we obtain some properties of intuitionistic fuzzy congruences on the direct product of two lattices. Finally, we prove that the set of all intuitionistic fuzzy congruences on a lattice forms a distributive lattice.

• Language and Information
• /
• v.12 no.1
• /
• pp.67-83
• /
• 2008

The semantics of whole involves distributivity, which may not be accounted for by the distributive operator for plurals or quantifiers. I review the pragmatic approach to whole by Moltmann (2005) and propose that the semantics of whole can be explained by the member specification function, which maps a group to its members. Although NPs with whole are morphologically singular, they become semantically plural with the application of the function. The distributive operator for plurals is introduced on a sentence with whole, which explains the distributivity of whole.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.3
• /
• pp.389-394
• /
• 2005

The purpose of this paper is to introduce the notions of L-fuzzy topological towers by using a completely distributive lattic L and show that the category L-FPrTR of L-fuzzy pretopoplogical tower spaces and the category L-FPsTR of L-fuzzy pseudotopological tower spaces are extensional topological constructs. And we show that L-FPsTR is the cartesian closed topological extension of L-FPrTR. Hence we show that L-FPsTR is a topological universe.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.633-641
• /
• 2005

We investigate the relationship between fuzzy $\sigma$-ideals and fuzzy congruence on a distributive $\sigma$-lattice and obtain some useful results.