Natural deductions for substructural logics 部分構造論理の自然演繹での定式化

この論文をさがす

著者

    • 上野, 岳史 ウエノ, タケシ

書誌事項

タイトル

Natural deductions for substructural logics

タイトル別名

部分構造論理の自然演繹での定式化

著者名

上野, 岳史

著者別名

ウエノ, タケシ

学位授与大学

北海道大学

取得学位

博士 (理学)

学位授与番号

甲第4977号

学位授与年月日

2000-03-24

注記・抄録

博士論文

目次

  1. Contents / p1 (0003.jp2)
  2. Introduction / p1 (0004.jp2)
  3. I Weakening and Contraction Rules for Natural Deduction / p3 (0006.jp2)
  4. 1 Introduction / p3 (0006.jp2)
  5. 2 Language L / p3 (0006.jp2)
  6. 3 A Natural Deduction System D / p4 (0007.jp2)
  7. 4 Sequent Calculus S / p6 (0009.jp2)
  8. 5 Provability / p8 (0011.jp2)
  9. 6 Characterization of Weakening Rule and Contraction Rule / p9 (0012.jp2)
  10. II Exchange Rule for Natural Deduction / p21 (0024.jp2)
  11. 7 Introduction / p21 (0024.jp2)
  12. 8 Labeling and Ordering / p21 (0024.jp2)
  13. 9 Language L and its Formulas / p23 (0026.jp2)
  14. 10 Natural Deduction System NFL:First Formulation / p24 (0027.jp2)
  15. 11 Second Formulation of NFL / p31 (0034.jp2)
  16. 12 Sequent Calculus FL / p36 (0039.jp2)
  17. 13 Equivalence of FL and NFL,and How to Characterize Exchange Rules for NFL / p38 (0041.jp2)
  18. References / p43 (0046.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000189420
  • NII著者ID(NRID)
    • 8000000189703
  • DOI(NDL)
  • NDL書誌ID
    • 000000353734
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ