12 citations · 37 across the 14 of their papers we have counts for
Showing 2025Show all
2 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…
math.LO2025
On the structure and theory of McCarthy algebras
Stefano Bonzio, Gavin St. John
We provide a structural analysis for McCarthy algebras, the variety generated by the three-element algebra defining the logic of McCarthy (the non-commutative version of Kleene thr…