鹿島 亮 | 北陸先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
著作論文
- 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)