A proof-theoretical investigation on intuitionistic substructural logics 直観主義的部分構造理論に関する証明論的研究

この論文をさがす

著者

    • Bayu Surarso バユ スラルソ

書誌事項

タイトル

A proof-theoretical investigation on intuitionistic substructural logics

タイトル別名

直観主義的部分構造理論に関する証明論的研究

著者名

Bayu Surarso

著者別名

バユ スラルソ

学位授与大学

広島大学

取得学位

博士 (学術)

学位授与番号

甲第1892号

学位授与年月日

1998-05-14

注記・抄録

博士論文

目次

  1. Contents / p1 (0005.jp2)
  2. 1 Introduction / p1 (0008.jp2)
  3. 2 Gentzen-type sequent systems for substructural logics / p8 (0016.jp2)
  4. 2.1 FL and its standard extensions / p8 (0016.jp2)
  5. 2.2 BB'I logic and its noncommutative standard extensions / p13 (0021.jp2)
  6. 3 Cut elimination theorem for substructural logics / p17 (0026.jp2)
  7. 3.1 Gentzen's original proof of cut elimination theorem / p17 (0026.jp2)
  8. 3.2 Extended FL with global contraction rule / p20 (0029.jp2)
  9. 3.3 Noncommutative extensions of LBB'I / p31 (0040.jp2)
  10. 3.4 Knotted structural rules in noncommutative logics / p38 (0047.jp2)
  11. 4 Distributionless substructural logics / p45 (0055.jp2)
  12. 4.1 Maehara's method / p46 (0056.jp2)
  13. 4.2 Interpolation theorem for BB'IK and BB'IW / p47 (0057.jp2)
  14. 4.3 Maksimova's principle for logics without weakening rules / p50 (0060.jp2)
  15. 4.4 Maksimova's principle for logics with weakening rules / p53 (0063.jp2)
  16. 5 Distributive substructural logics without weakening rules / p58 (0069.jp2)
  17. 5.1 Gentzen's sequent systems / p58 (0069.jp2)
  18. 5.2 Interpolation theorem / p61 (0072.jp2)
  19. 5.3 Maksimova's principle / p65 (0076.jp2)
  20. 6 Distributive substructural logics with weakening rules / p75 (0087.jp2)
  21. 6.1 Gentzen sequent systems / p75 (0087.jp2)
  22. 6.2 Interpolation theorem / p77 (0089.jp2)
  23. 6.3 Maksimova's principle / p82 (0094.jp2)
  24. Acknowledgements / p86 (0099.jp2)
  25. Appendices / p87 (0101.jp2)
  26. A The proof of Theorem 5.2.1 for L⋄RW₊ / p87 (0101.jp2)
  27. B The proof of Theorem 6.2.1 for D⋄FLW / p97 (0111.jp2)
  28. Bibliography / p123 (0138.jp2)
0アクセス

各種コード

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