Natural deductions for substructural logics
Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Contents
p1
Introduction
p1
I Weakening and Contraction Rules for Natural Deduction
p3
1 Introduction
p3
2 Language L
p3
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
- 上野岳史 [著]
- Author Heading
- 上野, 岳史 ウエノ, タケシ
- Alternative Title
- 部分構造論理の自然演繹での定式化 ブブン コウゾウ ロンリ ノ シゼン エンエキ デノ テイシキカ
- Degree grantor/type
- 北海道大学
- Date Granted
- 平成12年3月24日
- Date Granted (W3CDTF)
- 2000
- Dissertation Number
- 甲第4977号
- Degree Type
- 博士 (理学)