Axiomatization of Models for Intermediate Logics Constructed with Boolean Models by Piling Up

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Hosoi Tsutomu

  Department Of Mathematics Tsuda College

• Hosoi Tsutomu

  Department Of Internal Medicine Toyohashi Municipal Hospital

• ONO Hiroakira

  [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
• Monozygotic twins concordant for intestinal Behcet's disease

スポンサーリンク