弱Konigの補題,弱弱Konigの補題の一様版 (シークエント計算による証明論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 坂本 伸幸

  東北大学理学研究科数学専攻

関連論文

• 2階算術における実数と複素数 (圏論と証明論の新たな融合を目指して)
• 2階算術におけるヒルベルトの零点定理 (圏論と証明論の新たな融合を目指して)
• 弱Konigの補題,弱弱Konigの補題の一様版 (シークエント計算による証明論)

スポンサーリンク