安東 祐希 | 法政大学第一教養学部

スポンサーリンク

概要

• 安東 祐希の詳細を見る
• 同名の論文著者
• 法政大学第一教養学部の論文著者

関連著者

• 安東 祐希

  法政大学第一教養学部

• 安東 祐希

  Hosei University

• 安東 祐希

  Institute of Mathematics, University of Tsukuba

著作論文

• 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

スポンサーリンク