collaborators

1 paper

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…