電車の中で以下を読む。 A. N. Prior “The Runabout Inference-Ticket”, in: Analysis, vol. 21, 1960 Nuel D. Belnap “Tonk, Plonk and Plink”, in: Analysis, vol. 22, 1962 面白い。Proof-Theoretic Semanticsとどう関係があるのか考えながら読んでいた。…

真夜中で遅いし眠いので手短に記す。