Unique normal proof property for implicational minimal formulas in the intuitionistic logic

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文
• 1995-08-30

著者

• 青戸 等人

  北陸先端科学技術大学院大学情報科学研究科

関連論文

• Uniqueness of normal proofs in {→,∧}-fragment of NJ
• 項書き換え系のパーシステント性の順序付きソートによる拡張
• Extending persistency of confluence with ordered sorts
• Top-down labelling and modularity of term rewriting systems
• Persistency of confluence
• Persistency of confluence
• Unique normal proof property for implicational minimal formulas in the intuitionistic logic

スポンサーリンク