3 papers
math.RA2020
Injective and projective semimodules over involutive semirings
Peter Jipsen, Sara Vannucci
We show that the term equivalence between MV-algebras and MV-semirings lifts to involutive residuated lattices and a class of semirings called \textit{involutive semirings}. The se…
math.LO2020
Structure theorems for idempotent residuated lattices
José Gil-Férez, Peter Jipsen, George Metcalfe
In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain…
math.LO2018
Logics for Rough Concept Analysis
Giuseppe Greco, Peter Jipsen, Krishna Manoorkar +2
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal…