Re: Pat Hayes and logic for indirection?

-----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 UTC