S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系

この論文をさがす

著者

    • 志村, 立矢 シムラ, タツヤ

書誌事項

タイトル

S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系

著者名

志村, 立矢

著者別名

シムラ, タツヤ

学位授与大学

東京大学

取得学位

理学博士

学位授与番号

甲第8849号

学位授与年月日

1991-03-29

注記・抄録

博士論文

目次

  1. Contents. / (0003.jp2)
  2. Introduction. / p1 (0004.jp2)
  3. Chapter1. Basic definitions and results. / p9 (0012.jp2)
  4. Chapter2. Some cut-free systems for normal extensions of S4. / p19 (0022.jp2)
  5. Chapter3. Some applications of cut-elimination. / p42 (0045.jp2)
  6. Chapter4. Cut-free systems for some intermediate predicate logic containing the axiom schema[数式]. / p54 (0057.jp2)
  7. Appendix.A syntactical proof of the cut-elimination for Nishimura's system for K4.3W. / p61 (0064.jp2)
  8. References. / p68 (0071.jp2)
1アクセス

各種コード

  • NII論文ID(NAID)
    500000081607
  • NII著者ID(NRID)
    • 8000000081815
  • DOI(NDL)
  • NDL書誌ID
    • 000000245921
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ