Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系

Author(s)

Bibliographic Information

Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics = S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系

Tatsuya Shimura

東京大学数理科学研究科, 1991

Title Transcription

S4 ノ カクチョウ オヨビ チュウカン ロンリ ニ タイスル カット ショウキョ テイリ ノ セイリツスル ゲンツェンシキ タイケイ

Available at  / 1 libraries

Search this Book/Journal

Note

Thesis(Ph.D.)-University of Tokyo, Graduate School of Mathematical Sciences

Details

  • NCID
    BA50852425
  • Country Code
    ja
  • Title Language Code
    eng
  • Text Language Code
    engjpn
  • Place of Publication
    東京
  • Pages/Volumes
    1冊
  • Size
    30cm
Page Top