19 citations · 49 across the 19 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.LO2025
Balanced residuated partially ordered semigroups
Stefano Bonzio, José Gil-Férez, Peter Jipsen +2
A residuated semigroup is a structure where is a poset and is a semigroup such that the…
cs.LO2025
Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
Andrew Craig, Peter Jipsen, Claudette Robinson
We develop dualities for complete perfect distributive quasi relation algebras and complete perfect distributive involutive FL-algebras. The duals are partially ordered frames with…
math.RA2025
Residuated lattices do not have the amalgamation property
Peter Jipsen, Simon Santschi
We show that the variety of residuated lattices does not have the amalgamation property, thereby settling a long-standing open problem. In addition, we show that the amalgamation p…