Substructural logics with mingle

スポンサーリンク

概要

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

著者

• 上出 哲広

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

関連論文

• Conservative extensions in relevant implicational logics
• A Study on Substructural Logics with Restricted Exchange Rules, (2)
• A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)
• Mingle converse principle for substructural logics
• Substructural logics with mingle

スポンサーリンク