R. Kahle & P. Schroeder-Heister (eds.), Proof-Theoretic Semantics, Special Issue of SYNTHESE, Vol. 148 No. 3, February 2006, pp. 503-743