Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系
著者
書誌事項
Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics = S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系
東京大学数理科学研究科, 1991
- タイトル読み
-
S4 ノ カクチョウ オヨビ チュウカン ロンリ ニ タイスル カット ショウキョ テイリ ノ セイリツスル ゲンツェンシキ タイケイ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Thesis(Ph.D.)-University of Tokyo, Graduate School of Mathematical Sciences