[Prev][Next][Index][Thread]
Re: Linear notation
Date: Wed, 1 Jan 92 10:26:37+020
To: linear@cs.stanford.edu
I really thank Pratt for his note on the history of notation. I learn things I
did not know. I have only two comments: First, I did not invent +. When I began
to work on relevance logics I did not know at first about the work of Anderson
and Belnap, and I simply used \/ for the intensional disjunction (my 1984 paper
dealt only with that fragment). Naturally, when I learnt about their work I
adopted their notations, including +. Now I dont recall now who was the first
to use it, but I am sure Mike Dunn will be able to tell.
As for Pierce. I admit complete ignorance about his work, and I am curious to
know: what were the reaons he found to distinguish between two disjunctions and
conjunctions, and what were their intended meanings?
Arnon Avron