KURIHARA Mitunobu | [Research Institute for Mathematical Sciences, Kyoto University]
スポンサーリンク
概要
- KURIHARA Mitunobuの詳細を見る
- 同名の論文著者
- [Research Institute for Mathematical Sciences, Kyoto University]の論文著者
[Research Institute for Mathematical Sciences, Kyoto University] | 論文
- On the Finite Model Property for Kripke Models
- Axiomatization of Models for Intermediate Logics Constructed with Boolean Models by Piling Up
- Some Results on the Intermediate Logics
- Kripke Models and Intermediate Logics
- A Study of Intermediate Predicate Logics