No | 108849 | |
著者(漢字) | 志村,立矢 | |
著者(英字) | Shimura,Tatsuya | |
著者(カナ) | シムラ,タツヤ | |
標題(和) | S4の拡張及び中間論理に対するカット消去定理の成立するゲンツエン式体系 | |
標題(洋) | Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics | |
報告番号 | 108849 | |
報告番号 | 甲08849 | |
学位授与日 | 1991.03.29 | |
学位種別 | 課程博士 | |
学位種類 | 理学博士 | |
学位記番号 | 博理第2325号 | |
研究科 | 理学系研究科 | |
専攻 | 数学専攻 | |
論文審査委員 | ||
内容要旨 | データはありません | |
審査要旨 | データはありません | |
UTokyo Repositoryリンク | http://hdl.handle.net/2261/54266 |