4 citations · 7 across the 3 of their papers we have counts for
1 paper · 2 filters
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…