In this thesis, we study semisimplicity, amalgamation property and finite embeddability property of residuated lattices. We prove semisimplicity and amalgamation property of residuated lattices which are of purely algebraic character, by using proof-theoretic methods and results of substructural logics. On the other hand, we show the finite model property (FMP) for various substructural logics,...

The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri algebras, for which one can mimic the token game of Petri nets to define the behaviour of generalized Petri net whose flow relation and place contents are valued in such algebraic structures. We show that Petri algebra...

Among the class of finite integral commutative residuated chains (ICRCs), we identify those algebras which can be obtained as a nuclear retraction of a conuclear contraction of a totally ordered Abelian l-group. We call the ICRCs satisfying this condition regular. Then we discuss the structure of finite regular ICRCs. Finally, we prove that the class of regular members generate a strictly small...

In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson’s logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.

This paper concerns residuated lattice-ordered idempotent commutative monoids that are subdirect products of chains. An algebra of this kind is a generalized Sugihara monoid (GSM) if it is generated by the lower bounds of the monoid identity; it is a Sugihara monoid if it has a compatible involution ¬. Our main theorem establishes a category equivalence between GSMs and relative Stone algebras ...

We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. use this description to introduce new construction, called gluing, that allows us build members variety from other ones. In particular, all finite can be constructed in way algebras. Finally, we apply our construction prove the fusion reduct any memb...

In this paper we continue to study varieties of K-lattices, focusing on their bounded versions. These (bounded) commutative residuated lattices arise from a specific kind construction: the twist-product lattice. Twist-products were first considered by Kalman in 1958 deal with order involutions plain lattices, but extension concept has attracted some attention lately. We describe lower part latt...

The aim of the present work is to study the  $F$-transform over a generalized residuated lattice.  We discuss the properties that are common with the $F$-transform over a residuated lattice. We show that the $F^{uparrow}$-transform can be used in establishing a fuzzy (pre)order on the set of fuzzy sets.