KAJIWARA Joji | [Research Institute for Mathematical Sciences, Kyoto University]

スポンサーリンク

概要

• 同名の論文著者
• [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

もっと見る

スポンサーリンク