Melissa Sugimoto

activity

20242026

collaborators

3 papers

cs.LO2026

Balanced residuated partially ordered semigroups

Stefano Bonzio, JosÃ© Gil-FÃ©rez, Peter Jipsen +2

A residuated semigroup is a structure $⟨ A, \leq, \cdot, \, / ⟩$ where $⟨ A, \leq ⟩$ is a poset and $⟨ A, \cdot ⟩$ is a semigroup such that the…

math.LO2025

Locally Integral Involutive PO-Semigroups

We show that every locally integral involutive partially ordered semigroup (ipo-semigroup) $A = (A, \leq, \cdot, \sim, -)$ , and in particular every locally integral involutive…

math.LO2024

On the structure of balanced residuated partially ordered monoids

A residuated poset is a structure $⟨ A, \leq, \cdot, \, /, 1 ⟩$ where $⟨ A, \leq ⟩$ is a poset and $⟨ A, \cdot, 1 ⟩$ is a monoid such that the re…