Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic

スポンサーリンク

概要

• 論文の詳細を見る
• 2008-03-30

著者

• OKADA Mitsuhiro

  Department of Chemical Energy and Environmental Engineering, Kansai University

• OKADA Mitsuhiro

  Department of Philosphy, Keio University

関連論文

• Effects of antiarrhythmic agents on left ventricular function during exercise in patients with chronic left ventricular dysfunction
• Application of solvent extraction using synergistic effect to electroless nickel plating waste liquor (第7回資源リサイクル・材料科学に関する日韓国際シンポジウム特集)
• Application of ES Cells to Cardiovascular Regeneration
• Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic
• Activation of the Erythropoietin Promoter by a Point Mutation from GATA to TATA in the -30 Region^1
• Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)
• Clinical Use of Ponstan, N-(2, 3-xylyl)-Anthranilic Acid (CI-473; Mefenamic Acid) as an Analgetic
• Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic

スポンサーリンク