Melissa Sugimoto

activity

20222025

most citedOn the structure of balanced residuated partially ordered monoids

3 citations · 3 across the 4 of their papers we have counts for

collaborators

4 papers

cs.LO2025

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.LO2024★ 3 cited

On the structure of balanced residuated partially ordered monoids

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

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…

math.LO2023

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) $A = (A, \leq, \cdot, \sim, -)$ , and in particular every locally integral involutive…

math.LO2022

Varieties of unary-determined distributive $ℓ$ -magmas and bunched implication algebras

Natanael Alpay, Peter Jipsen, Melissa Sugimoto

A distributive lattice-ordered magma ( $d ℓ$ -magma) $(A, \land, \lor, \cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and w…

Balanced residuated partially ordered semigroups

On the structure of balanced residuated partially ordered monoids

Locally Integral Involutive PO-Semigroups

Varieties of unary-determined distributive ℓ-magmas and bunched implication algebras

Varieties of unary-determined distributive $ℓ$ -magmas and bunched implication algebras