Free Łukasiewicz and Hoop Residuation Algebras
Adding Involution to Residuated Structures
Algebraic Aspects of Cut Elimination
The Distance Function in Commutative ℓ-semigroups and the Equivalence in Łukasiewicz Logic
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices
Products of Classes of Residuated Structures