JPL (2005)34:217-226。 論理結合子Tonkを許す関係論理 Tonk-logic" の論理的帰結関係は決して ad hoc ではない、 結合子Tonkを許すべきかという問うことは、"Tonk-logic" を論理として認めるべきかどうかと問うことである、 と主張。(後で追加します)
よく晴れた日、日差しが強い。出勤してプレゼン準備、原稿の読み合わせ。他に研究員打ち合わせ。某書類を書いて23時に帰宅。夕食はカボチャのスープと黒パン。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。