Gentzen style sequent calculi for some subsystems of intuitionistic logic 直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Gentzen style sequent calculi for some subsystems of intuitionistic logic
- タイトル別名
-
直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算
- 著者名
-
菊池, 健太郎
- 著者別名
-
キクチ, ケンタロウ
- 学位授与大学
-
北陸先端科学技術大学院大学
- 取得学位
-
博士 (情報科学)
- 学位授与番号
-
甲第152号
- 学位授与年月日
-
2002-03-22
注記・抄録
博士論文
Supervisor:石原 哉
情報科学研究科
博士
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/917