Alten proved in [4] that the FEP holds for commutative residuated lattices that satisfy any knotted rule. A class of algebras K is said to have the FEP, if for every algebra A in K and every finite partial subalgebra B of A, there exists a finite algebra D in K such that B embeds into D. B is a finite partial subalgebra of A, if B is a finite subset of A and each n−ary operation f on A induces ...

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

Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTLalgebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.

We show that a commutative bounded integral orthomodular lattice is residuated iff it is a Boolean algebra. This result is a consequence of [7, Theorem 7.31]; however, our proof is independent and uses other instruments.

We study finite residuated lattices with up to 11 elements. We present an algorithm for generating all non-isomorphic finite residuated lattices with a given number of elements. Furthermore, we analyze selected properties of all the lattices generated by our algorithm and present summarizing statistics.

Left-continuity of triangular norms is the characteristic property to make it a residuated lattice. Nowadays residuated lattices are subjects of intense investigation in the ÿelds of universal algebra and nonclassical logic. The recently known construction methods resulting in left-continuous triangular norms are surveyed in this paper.

We discuss the question whether every finite interval in the lattice of all topologies on some set is isomorphic to an interval in the lattice of all topologies on a finite set – or, equivalently, whether the finite intervals in lattices of topologies are, up to isomorphism, exactly the duals of finite intervals in lattices of quasiorders. The answer to this question is in the affirmative at le...

In this paper, we investigate the properties of antitone Galois connection and formal concepts. Moreover, we show that order reverse generating maps induce formal, attribute oriented and object oriented concepts on a complete residuated lattice.

Triangle algebras are equationally defined structures that are equivalent with certain residuated lattices on a set of intervals, which are called interval-valued residuated lattices (IVRLs). Triangle algebras have been used to construct Triangle Logic (TL), a formal fuzzy logic that is sound and complete w.r.t. the class of IVRLs. In this paper, we prove that the so-called pseudo-prelinear tri...

On the real unit interval, the notion of a Girard monoid coincides with the notion of a t-norm-based residuated lattice with strong induced negation. A geometrical approach toward these Girard monoids, based on the notion of rotation invariance, is turned in an adequate axiomatization for the Involutive Monoidal T-norm-based residuated Logic (IMTL).