In this paper, we investigate two L-neighborhood systems induced by an Lfuzzy topology in a complete residuated lattice L. We study the relationships among L-fuzzy topology, L-topologies and L-neighborhood systems. Finally, we give their examples. AMS Subject Classification: 03E72, 06A15, 06F07, 54A05

In this paper, we study residuated lattices in order to give new characterizations for dense, regular and Boolean elements in residuated lattices and investigate special residuated lattices in order to obtain new characterizations for the directly indecomposable subvariety of Stonean residuated lattices. Free algebra in varieties of Stonean residuated lattices is constructed. We introduce in re...

The paper dealswith systems of fuzzy relation equations known in the literature as eigen fuzzy set equations, aswell aswith systems of related fuzzy relation inequalities.Ourmain results are algorithms for computing the greatest and the smallest solutions to the considered systems of fuzzy relation inequalities, and algorithms for computing the greatest solutions to the considered systems of fu...

We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTime-complete w.r.t. general TBoxes and PSpace-complete w.r.t. acyclic TBoxes. This matches the known complexity bounds for reasoning in crisp ALCI.

The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. The sets of provable formulas in corresponding inference systems from the point of view of uncertain information can be described by fuzzy filters of those algebraic semantics. Bounded residuated lattice ordered monoids (R`-monoids) are a common generalization of pseudo ...

Ward and Dilworth 1 introduced the concept of residuated lattices as generalization of ideal lattices of rings. The residuated lattice plays the role of semantics for a multiple-valued logic called residuated logic. Residuated logic is a generalization of intuitionistic logic. Therefore it is weaker than classical logic. Important examples of residuated lattices related to logic are Boolean alg...

The aim of this paper is further to develop the filter theory on residuated lattices. The concept of interval valued intuitionistic (T, S)-fuzzy filters on residuated lattices is introduced by linking the intuitionistic fuzzy set, t-norm, s-norm and filter theory of residuated lattices; The properties and equivalent characterizations of Interval valued intuitionistic (T, S)-fuzzy filters are in...

Proposition 3. If A=〈A,∧,∨, ·, \, /, 1, γ〉 is a residuated lattice with a nucleus γ, then the algebra Aγ=〈Aγ ,∧,∨γ , ·γ , \, /, γ(1)〉 is a residuated lattice, where Aγ=γ[A] and for all x, y ∈ Aγ , x ∨γ y=γ(x ∨ y) and x ·γ y=γ(x · y). For a variety V of residuated lattices with modal operators, consider V∗, the full subcategory of V consisting of those pairs 〈B, 〉 such that B generates B as a re...

An L-fuzzy context is a triple consisting of a set of objects, a set of attributes and an L-fuzzy binary relation between them. An l-cut is a classical context over the same sets with relation as a set of all object attribute pairs, which fuzzy relation assigns truth degree geater or equal than l. Proto-fuzzy concept is a triple made of a set of objects and a set of attributes, which form a con...

In this article, we propose an axiomatic system for fuzzy “cardinality” measures (referred to as fuzzy c-measures for short) assigning to each finite fuzzy set a generalized cardinal that expresses the number of elements that the fuzzy set contains. The system generalizes an axiomatic system introduced by J. Casasnovas and J. Torrens (2003). We show that each fuzzy c-measure is determined by tw...