Ha, right!? I feel very fortunate for this Sarah-dipity (and the path dependence of grooming one's Google). Thanks for pointing to this paper, I was not familiar with Prior's tonk or the failings of local reduction. Now I am now enjoying the rabbit hole :)
Somewhere down the rabbit hole, I find: https://web.archive.org/web/20120514090806/http://www.logicandlanguage.net/archives/2005/03/tonk_and_local_1.html -- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/
