S. Bonzio

activity

20242026

collaborators

4 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

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…

math.LO2024

Bochvar algebras: A categorical equivalence and the generated variety

Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

The proper quasivariety BCA of Bochvar algebras, which serves as the equivalent algebraic semantics of Bochvar's external logic, was introduced by Finn and Grigolia in and extensiv…

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…