An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation)

ダウンロード数: 155

http://hdl.handle.net/2433/140468

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1635-01.pdf		749.33 kB	Adobe PDF	見る/開く

タイトル:	An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation)
著者:	Akiyoshi, Ryota
著者名の別形:	秋吉, 亮太
発行日:	Apr-2009
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	1635
開始ページ:	1
終了ページ:	12
URI:	http://hdl.handle.net/2433/140468
出現コレクション:	1635 証明論と論理・計算の構造

このリポジトリに保管されているアイテムはすべて著作権により保護されています。