JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
M-IS. 修士(情報科学) >
M-IS. 1997年度(H09) >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/1171

タイトル: 直観主義様相論理の意味論的研究
著者: 橋本, 安司
著者(別表記): はしもと, やすし
キーワード: 直観主義様相論理、様相ハイティング代数、直観主義様相フレーム、クリプキ完全性、有限モデル性
intuitionistic modal logic, modal Heyting algebra,
発行日: Mar-1998
記述: 
Supervisor:小野 寛晰
情報科学研究科
修士
タイトル(英語): A Semantical Study of Intuitionistic Modal Logics
著者(英語): Hasimoto, Yasusi
言語: eng
URI: http://hdl.handle.net/10119/1171
出現コレクション:M-IS. 1997年度(H09) (Jun.1997 - Mar.1998)

このアイテムのファイル:

ファイル 記述 サイズ形式
438abstract.pdf107KbAdobe PDF見る/開く
438jabstract.pdf81KbAdobe PDF見る/開く
438paper.pdf406KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)