APAL 153 (2008), pp.111-126. 16時から所内セミナー、Yg氏が発表。 古典論理から Exchange rule を除去した論理の無限論理バージョン上の算術の体系 Exch （算術というよりは本質的には-論理）に対して、その-断片に関しての準形式的な断片を与えた。（内容…

晴れているが少し凉しめ。起床は9時半、出勤して打ち合わせ、書類を新たにそろえるようにお達しを受ける。午後は打ち合わせ、いろいろ難航。夕方に所内セミナー。夜はS君の送別会に出席、23時に帰宅。