WEKO3
アイテム
Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics
https://doi.org/10.11501/3058787
https://doi.org/10.11501/30587871792c9be-4fb8-4c0c-9e0f-0c43cf2c4603
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-05-16 | |||||
タイトル | ||||||
タイトル | Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_46ec | |||||
タイプ | thesis | |||||
ID登録 | ||||||
ID登録 | 10.11501/3058787 | |||||
ID登録タイプ | JaLC | |||||
その他のタイトル | ||||||
その他のタイトル | S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系 | |||||
著者 |
Shimura, Tatsuya
× Shimura, Tatsuya |
|||||
著者別名 | ||||||
識別子 | 10618 | |||||
識別子Scheme | WEKO | |||||
姓名 | 志村, 立矢 | |||||
著者所属 | ||||||
著者所属 | 東京大学大学院理学系研究科数学専攻 | |||||
書誌情報 | 発行日 1991-03-29 | |||||
学位名 | ||||||
学位名 | 理学博士 | |||||
学位 | ||||||
値 | doctoral | |||||
学位分野 | ||||||
Science(Rigaku)(理学) | ||||||
学位授与機関 | ||||||
学位授与機関名 | University of Tokyo (東京大学) | |||||
研究科・専攻 | ||||||
Department of Mathematics, Graduate School of Science(理学系研究科数学専攻) | ||||||
学位授与年月日 | ||||||
学位授与年月日 | 1991-03-29 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲第08849 | |||||
学位記番号 | ||||||
博理第2325号 |