2009-08-20 "The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations" (Heinrich Wansing) 哲学 論文 読了 Studia Logica (2000) 64(1): 3-20。こちらから入手可能。証明論的意味論に関するよくまとまったサーベイ。 （内容は後で追加します）
