上出 哲広 | 北陸先端科学技術大学院大学情報科学研究科

スポンサーリンク

概要

• 上出 哲広の詳細を見る
• 同名の論文著者
• 北陸先端科学技術大学院大学情報科学研究科の論文著者

関連著者

• 上出 哲広

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

• 鹿島 亮

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

著作論文

• 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

スポンサーリンク