Recently Burusco introduced interval-valued fuzzy formal contexts into fuzzy formal concept analysis. The most interesting work mainly including fuzzy attribute implications from fuzzy formal context, however, were presented under the framework of residuated lattice. In this paper, we first show that the study of interval-valued fuzzy set can be fitted into the framework of residuated lattice. ...

Recently, Molodtsov [12] introduced the soft set as a mathematical tool for dealing information as the uncertainty of data in engineering, physics, computer sciences and many other diverse field. Presently, the soft set theory is making progress rapidly [1,3]. Pawlak’s rough set [13,14] can be viewed as a special case of soft rough sets [3]. The topological structures of soft sets have been dev...

In this paper, we introduced two types of fuzzy stabilizers St R (F) and St ⊕ R (F) of a fuzzy set F and the stabilizer St ∨(F, G) of F with respect to G in IMTL-algebras. We proved that St R (F), St ⊕ R (F) and St ∨(F, G) are fuzzy filters of M. We investigated some properties of the stabilizers. By introducing the ⊗̃ operation of two fuzzy filters, we prove that ⊗̃ and St∨(·, ·) form an adjoint...

Different notions of coherence and consistence have been proposed in the literature on fuzzy systems. In this work we focus on the relationship between some of the approaches developed, on the one hand, based of residuated lattices and, on the other hand, based on the theory of bilattices.

In this note, we continue the works in the paper [Some properties of L-fuzzy approximation spaces on bounded integral residuated lattices", Information Sciences, 278, 110-126, 2014]. For a complete involutive residuated lattice, we show that the L-fuzzy topologies generated by a reflexive and transitive L-relation satisfy (TC)L or (TC)R axioms and the L-relations induced by two L-fuzzy topologi...

in this paper, our purpose is twofold. firstly, the tensor andresiduum operations on $l-$nested systems are introduced under thecondition of complete residuated lattice. then we show that$l-$nested systems form a complete residuated lattice, which isprecisely the classical isomorphic object of complete residuatedpower set lattice. thus the new representation theorem of$l-$subsets on complete re...

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

Recently we proposed a new type of fuzzy integrals defined over complete residuated lattices. These integrals are intended for the modeling of type ⟨1, 1⟩ fuzzy quantifiers. An interesting theoretical question is, how to introduce various notions of convergence of this type of fuzzy integrals. In this contribution, we would like to present some results on strong and pointwise convergence of the...

We discuss a formal many-valued logic called EQlogic which is based on a recently introduced special class of algebras called EQ-algebras. The latter have three basic binary operations (meet, multiplication, fuzzy equality) and a top element and, in a certain sense, generalize residuated lattices. The goal of EQ-logics is to present a possible direction in the development of mathematical logics...