Kai Brünnler Locality for Classical Logic. 557-580 2006 47 Notre Dame Journal of Formal Logic 4 http://projecteuclid.org/euclid.ndjfl/1168352668 db/journals/ndjfl/ndjfl47.html#Brunnler06