Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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.LO2026
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…