Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1301 シークエント計算による証明論 = Sequent Calculi and Proof Theory
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 13.
前
1
2
次
検索結果:
書誌情報
ファイル
A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory)
Hasuo, Ichiro; Kashima, Ryo (2003-01)
数理解析研究所講究録, 1301: 92-121
Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory)
Kuroda, Satoru (2003-01)
数理解析研究所講究録, 1301: 69-78
A Relationship Between Dual-Intuitionistic Logic and Nelson's Constructive Logic (Sequent Calculi and Proof Theory)
Kamide, Norihiro (2003-01)
数理解析研究所講究録, 1301: 157-165
弱Konigの補題,弱弱Konigの補題の一様版 (シークエント計算による証明論)
坂本, 伸幸 (2003-01)
数理解析研究所講究録, 1301: 84-91
超算術的選択公理HACとその仲間たち (シークエント計算による証明論)
田中, 一之 (2003-01)
数理解析研究所講究録, 1301: 79-83
Intuitionistic Linear Logics with Communication Principle (Sequent Calculi and Proof Theory)
Kamide, Norihiro (2003-01)
数理解析研究所講究録, 1301: 139-156
Systems of logic for necessity (Sequent Calculi and Proof Theory)
Takeuti, Izumi (2003-01)
数理解析研究所講究録, 1301: 122-138
証明可能性の論理と解釈可能性の論理におけるレーブの公理の性質を用いたカット除去定理の証明 (シークエント計算による証明論)
佐々木, 克巳 (2003-01)
数理解析研究所講究録, 1301: 1-12
Remarks on Shimura's oracle cut elimination and Kripke sheaf semantics for modal predicate logics : An interim report (Sequent Calculi and Proof Theory)
Suzuki, Nobu-Yuki (2003-01)
数理解析研究所講究録, 1301: 24-38
制御された二階述語計算の証明図に関する標準型定理 (シークエント計算による証明論)
池田, 一麿 (2003-01)
数理解析研究所講究録, 1301: 48-54
絞り込み
著者
2
Kamide, Norihiro
1
Andou, Yuuki
1
Hasegawa, Ryu
1
Hasuo, Ichiro
1
Kashima, Ryo
1
Kuroda, Satoru
1
Suzuki, Nobu-Yuki
1
Takeuti, Izumi
1
佐々木, 克巳
1
坂本, 伸幸
.
次 >
発行日
13
2003
分類
13
410