Topic
If you would like to know what proof-theoretic semantics is all about, please see
- Kahle, R. and Schroeder-Heister, P.: Introduction: Proof-theoretic Semantics, in: R. Kahle and P. Schroeder-Heister (eds.), Special issue of Synthese, Volume 148, Issue 3, pp. 503–506, 2006.
- Schroeder-Heister, P.: Proof-Theoretic Semantics, The Stanford Encyclopedia of Philosophy (Winter 2012 Edition), Edward N. Zalta (ed.), forthcoming URL = http://plato.stanford.edu/archives/win2012/entries/proof-theoretic-semantics/.
- Wansing, H.: The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations, Studia Logica, Volume 64, Issue 1, pp. 3–20, 2000.
... and/or participate in the conference.