ONO Hiroakira | [Research Institute for Mathematical Sciences, Kyoto University]

スポンサーリンク

概要

• ONO Hiroakiraの詳細を見る
• 同名の論文著者
• [Research Institute for Mathematical Sciences, Kyoto University]の論文著者

関連著者

• ONO Hiroakira

  [Research Institute for Mathematical Sciences, Kyoto University]

• Hosoi Tsutomu

  Department Of Mathematics Tsuda College

• Hosoi Tsutomu

  Department Of Internal Medicine Toyohashi Municipal Hospital

著作論文

• 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

スポンサーリンク