S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系
インターネットで読む
すぐに読む
国立国会図書館デジタルコレクション
書店で探す
障害者向け資料で読む
目次
Contents.
Introduction.
p1
Chapter1. Basic definitions and results.
p9
Chapter2. Some cut-free systems for normal extensions of S4.
p19
Chapter3. Some applications of cut-elimination.
p42
書店で探す
障害者向け資料で読む
- みなサーチ
- プレーンテキスト
みなサーチに登録・ログインで利用できます
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- タイトルよみ
- S4 ノ カクチョウ オヨビ チュウカン ロンリ ニ タイスル カット ショウキョ テイリ ノ セイリツスル ゲンツェンシキ タイケイ
- 著者・編者
- 志村立矢 [著]
- 著者標目
- 志村, 立矢 シムラ, タツヤ
- 授与機関名
- 東京大学
- 授与年月日
- 平成3年3月29日
- 授与年月日（W3CDTF）
- 1991
- 報告番号
- 甲第8849号
- 学位
- 理学博士