書誌情報	ファイル
表紙・目次    (2003-01)   数理解析研究所講究録, 1301
証明可能性の論理と解釈可能性の論理におけるレーブの公理の性質を用いたカット除去定理の証明 (シークエント計算による証明論)   佐々木, 克巳 (2003-01)   数理解析研究所講究録, 1301: 1-12
共通認識論理の証明系 (シークエント計算による証明論)   田中, 義人 (2003-01)   数理解析研究所講究録, 1301: 13-23
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
Some correspondences of reduction-procedures between natural deduction and sequent calculus (Sequent Calculi and Proof Theory)   Andou, Yuuki (2003-01)   数理解析研究所講究録, 1301: 39-47
制御された二階述語計算の証明図に関する標準型定理 (シークエント計算による証明論)   池田, 一麿 (2003-01)   数理解析研究所講究録, 1301: 48-54
Transducers as Discrete Twiners (Sequent Calculi and Proof Theory)   Hasegawa, Ryu (2003-01)   数理解析研究所講究録, 1301: 55-68
Complexity theoretical aspects of applicative theories in connection with boolean circuit computations (Sequent Calculi and Proof Theory)   Kuroda, Satoru (2003-01)   数理解析研究所講究録, 1301: 69-78
超算術的選択公理HACとその仲間たち (シークエント計算による証明論)   田中, 一之 (2003-01)   数理解析研究所講究録, 1301: 79-83
弱Konigの補題,弱弱Konigの補題の一様版 (シークエント計算による証明論)   坂本, 伸幸 (2003-01)   数理解析研究所講究録, 1301: 84-91
A Proof-Theoretical Study on Logics with Constructible Falsity (Sequent Calculi and Proof Theory)   Hasuo, Ichiro; Kashima, Ryo (2003-01)   数理解析研究所講究録, 1301: 92-121
Systems of logic for necessity (Sequent Calculi and Proof Theory)   Takeuti, Izumi (2003-01)   数理解析研究所講究録, 1301: 122-138
Intuitionistic Linear Logics with Communication Principle (Sequent Calculi and Proof Theory)   Kamide, Norihiro (2003-01)   数理解析研究所講究録, 1301: 139-156
A Relationship Between Dual-Intuitionistic Logic and Nelson's Constructive Logic (Sequent Calculi and Proof Theory)   Kamide, Norihiro (2003-01)   数理解析研究所講究録, 1301: 157-165