S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
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
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Title Transcription
- S4 ノ カクチョウ オヨビ チュウカン ロンリ ニ タイスル カット ショウキョ テイリ ノ セイリツスル ゲンツェンシキ タイケイ
- Author/Editor
- 志村立矢 [著]
- Author Heading
- 志村, 立矢 シムラ, タツヤ
- Degree grantor/type
- 東京大学
- Date Granted
- 平成3年3月29日
- Date Granted (W3CDTF)
- 1991
- Dissertation Number
- 甲第8849号
- Degree Type
- 理学博士