Conservative extensions in relevant implicational logics

スポンサーリンク

概要

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

著者

• 鹿島 亮

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

• 上出 哲広

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

関連論文

• 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)
• On the Difficulty of Writing Out Formal Proofs in PRA(Mathematical Incompleteness in Arithmetic)
• Mingle converse principle for substructural logics
• Substructural logics with mingle

スポンサーリンク