In this paper, we introduce the notion of co-annihilator of a subsetin a triangle algebra. It is shown that the co-annihilator of asubset is an interval valued residuated lattice (IVRL)-filter. Also, aspecial set of a triangle algebra is defined and the relationshipbetween this set and co-annihilator of a subset in triangle algebrais considered. Finally, co-annihilators preserving congruencerel...

In this paper, for a complete residuated lattice L, we present the categorical properties of ?-neighborhood spaces and their relationships to neighborhood stratified L-neighborhood spaces. The main results are: (1) category is topological category; (2) can be embedded in as reflective subcategory, when L meet-continuous lattice, subcategory; (3) continuous (resp., spaces) simultaneously corefle...

Morphisms of some categories of sets with similarity relations (Ω-sets) are investigated, where Ω is a complete residuated lattice. Namely a category SetF(Ω) with morphisms (A, δ) → (B, γ) defined as special maps A → B and a category SetR(Ω) with morphisms defined as a special relations A × B → Ω. It is proved that arbitrary maps A → Ω and A × B → Ω can be extended onto morphisms (A, δ) → (Ω,↔)...

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. ...

In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0 and 1. We show that these algebras serve as an equational representation of intervalvalued residuated lattices (IVRLs). Furthermore, we present Triangle Logic (TL), a system of many-valued logic capturing the tautologies of IVR...

We obtain a tableau definition of the skew Schubert polynomials named by Lascoux, which are defined as flagged double skew Schur functions. These polynomials are in fact Schubert polynomials in two sets of variables indexed by 321-avoiding permutations. From the divided difference definition of the skew Schubert polynomials, we construct a lattice path interpretation based on the Chen-Li-Louck ...

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...