Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 14.

前
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