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:石原 哉

情報科学研究科

博士

3アクセス

各種コード

  • NII論文ID(NAID)
    500000230966
  • NII著者ID(NRID)
    • 8000000231469
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 000004113073
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
ページトップへ