2008-10-08から1日間の記事一覧

"What's wrong with Tonk(?)" (Roy T. Cook)

JPL (2005)34:217-226。 論理結合子Tonkを許す関係論理 Tonk-logic" の論理的帰結関係は決して ad hoc ではない、 結合子Tonkを許すべきかという問うことは、"Tonk-logic" を論理として認めるべきかどうかと問うことである、 と主張。(後で追加します)

よく晴れた日、日差しが強い。出勤してプレゼン準備、原稿の読み合わせ。他に研究員打ち合わせ。某書類を書いて23時に帰宅。夕食はカボチャのスープと黒パン。