The amalgamation property (AP) is of particular interest in the study of residuated lattices due to its relationship with various syntactic interpolation properties of substructural logics. There are no examples to date of non-commutative varieties of residuated lattices that satisfy the AP. The variety SemRL of semilinear residuated lattices is a natural candidate for enjoying this property, s...

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

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

We study the connection between certain many-valued contexts and general geometric structures. The known one-to-one correspondence between attribute-complete many-valued contexts and complete affine ordered sets is used to extend the investigation to π-lattices and class geometries. The former are identified as a subclass of complete affine ordered sets, which exhibit a close relation to concep...

We present the numbers of all non-isomorphic residuated lattices with up to 12 elements and a link to a database of these lattices. In addition, we explore various characteristics of these lattices such as the width, length, and various properties considered in the literature and provide the corresponding statistics. We also present algorithms for computing finite residuated lattices including ...

This work is towards the study of the relationship between fuzzy preordered sets and Alexandrov (left/right) fuzzy topologies based on generalized residuated lattices here the fuzzy sets are equipped with generalized residuated lattice in which the commutative property doesn't hold. Further, the obtained results are used in the study of fuzzy automata theory.

We generalize the notion of complete binary relation on complete lattice to residuated lattice valued ordered sets and show its properties. Then we focus on complete fuzzy tolerances on fuzzy complete lattices and prove they are in one-to-one correspondence with extensive isotone Galois connections. Finally, we prove that fuzzy complete lattice, factorized by a complete fuzzy tolerance, is agai...

In 1998, Hájek established a representation theorem of BL-algebrs as all subdirect products of linear BL-algebrs. We establish a similar result for the much wider class of prelinear residuated algebras, in which neither the lattice structure nor the divisibility of the monoid operation is assumed. We show, in the case of prelinear residuated lattices, that this order embedding becomes a lattice...