Stephen Read at Bogazici (April 4th, 2012)
Stephen Read (St Andrews) will be giving a talk at Bogazici this Wednesday, April 4th, on “Proof-theoretic Validity and the Meaning of the Logical Constants” from 5-7pm in TB130.
His paper paper “General-elimination harmony and the meaning of the logical constants” might be good background reading.
UPDATE: Here are the slides for Stephen Read’s talk: Istanbul Proof theory handout.
