Collection home page

Sequent Calculi and Proof Theory   14

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