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

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

タイトル: 複数の否定を表現するオーダーソート論理の研究
著者: 萩原, 信吾
著者(別表記): はぎわら, しんご
キーワード: 直観主義論理,オーダーソート論理,二重否定,強い否定,弱い否定
Intuitionistic Logic,Order-sorted Logic,Double Neg
発行日: Mar-2004
記述: 
Supervisor:東条 敏
情報科学研究科
修士
タイトル(英語): An Order-sorted Logic with the many nagations in the Intuitionistic logic
著者(英語): Hagiwara, Shingo
言語: jpn
URI: http://hdl.handle.net/10119/1792
出現コレクション:M-IS. 2003年度(H15) (Jun.2003 - Mar.2004)

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

ファイル 記述 サイズ形式
2286abstract.pdf69KbAdobe PDF見る/開く
2286jabstract.pdf26KbAdobe PDF見る/開く
2286paper.pdf389KbAdobe PDF見る/開く

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

 


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