Re: Red and blue (again)

> Myself included, agreed. The only reason why I mention order is that 
> categorical semantics was born for the sequent calculus, which means 
> (to me) that it's a bit unfair to judge the sequent calculus against 
> it.

Actually, it would be *fairer*, though not the whole story, to say, 
Lambek notwithstanding,
that it was *born* for NJ, because of normalization/coherence issues; 
which has a few
consequences. The Canadians have done a lot.

I'm about to take a long vacation.  See you in Bath next term.

:- )  D.



--
Prof. David J. Pym                Telephone: +44 (0)1 225 38 3246
Professor of Logic & Computation  Facsimile: +44 (0)1 225 38 3493
University of Bath                Email: 
d.j.pym-+E0FUbDlCk21Qrn1Bg8BZw@xxxxxxxxxxxxxxxx
Bath BA2 7AY, England, U.K.       Web: http://www.bath.ac.uk/~cssdjp

Royal Society Industry Fellow, HP Labs, Bristol: 
david.pym-VXdhtT5mjnY@xxxxxxxxxxxxxxxx