Relationship Between Logic And Type System

スポンサーリンク

概要

• 論文の詳細を見る

• The relationship between logics and type systems a la Church is investigated along the lines of H. Geuvers and H. Barendregt. The used interpretation is based on formulae-as-types notion [2]but differs from [1]. The difference has made it possible to arrive at inverse interpretations for a restricted class of types. The scope of the interpretation is wider than the existing one in the sense that it may also be applied to an assumption with a proof figure to get a context constructively. The soundness and completeness results are given for eight logic and type systems. For this reason whole logical systems can be translated into type systems.

• 一般社団法人情報処理学会の論文
• 1989-10-16

著者

• 野口 正一

  東北大・電気通信研

• 藤田 憲悦

  東北大

• 富樫 敦

  東北大学 電気通信研究所

関連論文

• パネル討論会 : 新しい情報処理デバイスの展望 : 新しい計算機システム構築のために : 昭和59年後期第29回全国大会報告
• 情報処理技術の今後
• パネル討論会 : 創立30周年記念 : 日本における情報処理教育のあり方
• PC Communication in an OSI environment : TM&T : Mail and Talk on TAINS
• Graphical Interface for Representation of LTS
• PrologプログラムのAND-OR並列実行モデル
• Conservativity of Typed Lambda Calculus over Intuitionistic Logic
• Relationship Between Logic And Type System

スポンサーリンク