Gentzen style sequent calculi for some subsystems of intuitionistic logic 直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算

Access this Article

Search this Article

Author

    • 菊池, 健太郎 キクチ, ケンタロウ

Bibliographic Information

Title

Gentzen style sequent calculi for some subsystems of intuitionistic logic

Other Title

直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算

Author

菊池, 健太郎

Author(Another name)

キクチ, ケンタロウ

University

北陸先端科学技術大学院大学

Types of degree

博士 (情報科学)

Grant ID

甲第152号

Degree year

2002-03-22

Note and Description

博士論文

Supervisor:石原 哉

情報科学研究科

博士

3access

Codes

  • NII Article ID (NAID)
    500000230966
  • NII Author ID (NRID)
    • 8000000231469
  • Text Lang
    • eng
  • NDLBibID
    • 000004113073
  • Source
    • Institutional Repository
    • NDL-OPAC
Page Top