In this paper, the concept of intuitionistic fuzzy congruence relation on a residuated lattice is introduced and its properties is studied. The relationship between intuitionistic fuzzy filters and intuitionistic fuzzy congruence relations on a residuated lattice is obtain. Then the intuitionistic fuzzy congruence relation corresponding to a given intuitionistic fuzzy filter on residuated latti...

In Section 2 replace the definition of ∗◦Q in Definition 1 by x∗◦Q y = inf{u ∗◦ v | u > x, v > y}. It is defined only if the infimum exists. Proposition 1 remains unchanged. Theorem 0. Let (X, ∗◦,→∗◦,≤) be a commutative residuated semigroup on a complete chain equipped with the order topology. Let a, b, c ∈ X be such that a = b→∗◦ c. Let (x, y) ∈ X × X be such that 1. neither x nor y equals the...

In this paper, we investigate the properties of fuzzy Galois (dual Galois, residuated, and dual residuated) connections in a complete residuated lattice L. We give their examples. In particular, we study fuzzy Galois (dual Galois, residuated, dual residuated) connections induced by L-fuzzy relations.

In the first part, we extend our results from a previous paper on factorization of residuated lattices to residuated lattices with hedges. In the second part, we show how this result can be applied to the problem of factorization of fuzzy concept lattices with hedges. Our approach is that instead of factorizing the original concept lattice with hedges we construct a new data table with fuzzy va...

Stonean residuated lattices are closely related to Stone algebras since the bounded lattice reduct of a distributive Stonean residuated lattice is a Stone algebra. In the present work we follow the ideas presented by Chen and Grätzer and try to apply them for the case of Stonean residuated lattices. Given a Stonean residuated lattice, we consider the triple formed by its Boolean skeleton, its a...

Introduction and summary. In the theory of non-commutative rings certain distinguished subrings, one-sided and two-sided ideals, play the important roles. Ideals combine under crosscut, union and multiplication and hence are an instance of a lattice over which a non-commutative multiplication is defined.f The investigation of such lattices was begun by W. Krull (Krull [3]) who discussed decompo...

We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras [4, Problems 17–19, pp. 437]. Namely, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FLi-algebras and FLo-algebras. On the othe...

In this paper we study the dense elements and the radical of a residuated lattice, residuated lattices with lifting Boolean center, simple, local, semilocal and quasi-local residuated lattices. BL-algebras have lifting Boolean center; moreover, Glivenko residuated lattices which fulfill the equation (¬ a → ¬ b) → ¬ b = (¬ b → ¬ a) → ¬ a have lifting Boolean center.

The existence of lateral completions of `-groups is an old problem that was first solved, for conditionally complete vector lattices, by Nakano [5]. The existence and uniqueness of lateral completions of representable `-groups was first obtained as a consequence of the orthocompletions of Bernau [1], and later the proofs were simplified by Conrad [3], who also proved the existence and uniquenes...

In this paper we investigate the atomic level in the lattice of subvarieties of residuated lattices. In particular, we give infinitely many commutative atoms and construct continuum many non-commutative, representable atoms that satisfy the idempotent law; this answers Problem 8.6 of [12]. Moreover, we show that there are only two commutative idempotent atoms and only two cancellative atoms. Fi...