A system of $\lambda\mu$ - calculus proper to the implicational fragment of classical natural deduction with one conclusion

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 安東 祐希

  法政大学第一教養学部

• 安東 祐希

  Hosei University

関連論文

• Some correspondences of reduction-procedures between natural deduction and sequent calculus (Sequent Calculi and Proof Theory)
• A system of $\lambda\mu$ - calculus proper to the implicational fragment of classical natural deduction with one conclusion
• CR of a reduction for classical natural deduction(Mathematical Incompleteness in Arithmetic)
• A NORMALIZATION-PROCEDURE FOR THE FIRST ORDER CLASSICAL NATURAL DEDUCTION WITH FULL LOGICAL SYMBOLS

スポンサーリンク