Re: Szabo's Algebra of Proofs

On Wed, 3 Jan 2001, Tom Leinster wrote:

I don't know anything about the subject itself, but according to math. review 93a:03062 there's a paper by Barry Jay refuting one of Szabo's claims. The paper is `Coherence in category theory and the Church-Rosser property', Notre Dame J Formal Logic 33 (1992), no 1, 140-143.

The interested reader might also want to look at the recent paper by Borisavljevic, Dosen and Petric ("On permuting cut with contraction") in Math Struc in Comp Sci, Vol 10 (2000) (the Lambekfestschrift) which corrects and amplifies another matter in the Szabo book. -= rags =- ================== R.A.G. Seely <rags@math.mcgill.ca> <http://www.math.mcgill.ca/rags>