2008-06-27 "A sequent calculus for limit computable mathematics" (Stefano Berardi & Yoriyuki Yamagata) logic APAL 153 (2008), pp.111-126. 16時から所内セミナー、Yg氏が発表。 古典論理から Exchange rule を除去した論理の無限論理バージョン上の算術の体系 Exch （算術というよりは本質的には-論理）に対して、その-断片に関しての準形式的な断片を与えた。（内容については後で追加します）
Exch （算術というよりは本質的には
-論理）に対して、その
-断片に関しての準形式的な断片を与えた。