Natural deductions for substructural logics 部分構造論理の自然演繹での定式化
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Natural deductions for substructural logics
- タイトル別名
-
部分構造論理の自然演繹での定式化
- 著者名
-
上野, 岳史
- 著者別名
-
ウエノ, タケシ
- 学位授与大学
-
北海道大学
- 取得学位
-
博士 (理学)
- 学位授与番号
-
甲第4977号
- 学位授与年月日
-
2000-03-24
注記・抄録
博士論文
目次
- Contents / p1 (0003.jp2)
- Introduction / p1 (0004.jp2)
- I Weakening and Contraction Rules for Natural Deduction / p3 (0006.jp2)
- 1 Introduction / p3 (0006.jp2)
- 2 Language L / p3 (0006.jp2)
- 3 A Natural Deduction System D / p4 (0007.jp2)
- 4 Sequent Calculus S / p6 (0009.jp2)
- 5 Provability / p8 (0011.jp2)
- 6 Characterization of Weakening Rule and Contraction Rule / p9 (0012.jp2)
- II Exchange Rule for Natural Deduction / p21 (0024.jp2)
- 7 Introduction / p21 (0024.jp2)
- 8 Labeling and Ordering / p21 (0024.jp2)
- 9 Language L and its Formulas / p23 (0026.jp2)
- 10 Natural Deduction System NFL:First Formulation / p24 (0027.jp2)
- 11 Second Formulation of NFL / p31 (0034.jp2)
- 12 Sequent Calculus FL / p36 (0039.jp2)
- 13 Equivalence of FL and NFL,and How to Characterize Exchange Rules for NFL / p38 (0041.jp2)
- References / p43 (0046.jp2)