3 citations · 3 across the 2 of their papers we have counts for
3 papers
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.LO2022★ 3 cited
Connexive implications in Substructural Logics
Davide Fazio, Gavin St. John
This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of co…
math.LO2020
Most simple extensions of are undecidable
Nikolaos Galatos, Gavin St. John
All known structural extensions of the substructural logic , Full Lambek calculus with exchange/commutativity, (corresponding to subvarieties of commutative residuat…