参考文献

授業で紹介したPrior の tonk の初出はこちら。
Prior, Arthur. "The runabout inference ticket." Analysis, 21, pp38-39, 1960-61.(link: http://www.jstor.org/pss/3326699)

またベルナップの tonk の初出文献は以下の通りです。
Tonk, Plonk and Plink. Nuel D. Belnap. Analysis, Vol. 22, No. 6. (Jun., 1962), pp. 130-134. (link: http://www.jstor.org/pss/3326862)