切断除去による計算可能性の証明(証明論と逆数学)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 竹内 泉

  東邦大学理学部

• 竹内 泉

  東北大学大学院理学研究科

関連論文

• 可能世界意味論に対する一批判(非古典論理とそのKripke意味論に関する諸問題)
• 並列合成の論理演算を持つ論理体系 (証明論と計算論)
• Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics)
• Systems of logic for necessity (Sequent Calculi and Proof Theory)
• THE NORMAL OPEN SET ALMOST EQUAL TO A REGULAR OMEGA LANGUAGE (Algorithms in Algebraic Systems and Computation Theory)
• 切断除去による計算可能性の証明(証明論と逆数学)
• $\lambda$ + 項の値の上限について(数理論理学とその応用)

スポンサーリンク