A proof-theoretical investigation on intuitionistic substructural logics
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Contents
p1
1 Introduction
p1
2 Gentzen-type sequent systems for substructural logics
p8
2.1 FL and its standard extensions
p8
2.2 BB'I logic and its noncommutative standard extensions
p13
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- Bayu Surarso [著]
- Author Heading
- Bayu Surarso バユ スラルソ
- Alternative Title
- 直観主義的部分構造理論に関する証明論的研究 チョッカン シュギテキ ブブン コウゾウ リロン ニ カンスル ショウメイロンテキ ケンキュウ
- Degree grantor/type
- 広島大学
- Date Granted
- 平成10年5月14日
- Date Granted (W3CDTF)
- 1998
- Dissertation Number
- 甲第1892号
- Degree Type
- 博士 (学術)