Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Locally Integral Involutive PO-Semigroups
José Gil-Férez, Peter Jipsen, Melissa Sugimoto
We show that every locally integral involutive partially ordered semigroup (ipo-semigroup) , and in particular every locally integral involutive…
math.LO2024
On the structure of balanced residuated partially ordered monoids
Stefano Bonzio, José Gil-Férez, Peter Jipsen +2
A residuated poset is a structure where is a poset and is a monoid such that the re…