W3C home > Mailing lists > Public > www-tag@w3.org > June 2011

Re: Pat Hayes and logic for indirection?

From: Henry S. Thompson <ht@inf.ed.ac.uk>
Date: Fri, 10 Jun 2011 11:36:23 +0100
To: Jonathan Rees <jar@creativecommons.org>
Cc: www-tag@w3.org
Message-ID: <f5bei32dlco.fsf@calexico.inf.ed.ac.uk>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

There's a hint in the first paragraph of the section entitled "IF
AMBIGUITY IS INEVITABLE, LET'S MAKE LEMONADE" in [1], in the
reference to Common Logic.  But my memory was of a much more
formalised version of the story Pat and Harry tell in that paper.
I'll try to find it.

ht

[1] http://www.ibiblio.org/hhalpin/homepage/publications/indefenseofambiguity.html
- -- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
                Fax: (44) 131 651-1426, e-mail: ht@inf.ed.ac.uk
                       URL: http://www.ltg.ed.ac.uk/~ht/
 [mail from me _always_ has a .sig like this -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD8DBQFN8fOnkjnJixAXWBoRAq5uAJ9jf9ZC+kTmoSommtJjljV3yXpgwACcC9xP
sEnNNH9s5Zp9tQMDpVyXcAE=
=YLeB
-----END PGP SIGNATURE-----
Received on Friday, 10 June 2011 10:36:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 12:48:35 GMT