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)

ダウンロード数: 160

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

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

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

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	Akiyoshi, Ryota	en
dc.contributor.alternative	秋吉, 亮太	ja
dc.contributor.transcription	アキヨシ, リョウタ	ja
dc.date.accessioned	2011-05-19T01:43:32Z	-
dc.date.available	2011-05-19T01:43:32Z	-
dc.date.issued	2009-04	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/140468	-
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	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)	en
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1635	-
dc.identifier.spage	1	-
dc.identifier.epage	12	-
dc.textversion	publisher	-
dc.sortkey	01	-
dc.address	Department of Philosophy, Keio University	en
dc.address.alternative	慶應義塾大学文学部	ja
dcterms.accessRights	open access	-
出現コレクション:	1635 証明論と論理・計算の構造

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