JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
H18) (Jun.2006 - Mar.2007 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/3619

Title: Kripke completeness of some distributive substructural logics
Authors: 鈴木, 智之
Authors(alternative): すずき, ともゆき
Keywords: Distributive substructural logics
Relational semantics
Stone's duality
Canonical model
Canonical extension
Issue Date: Mar-2007
Description: Supervisor:小野 寛晰
情報科学研究科
修士
Title(English): Kripke completeness of some distributive substructural logics
Authors(English): Suzuki, Tomoyuki
Language: jpn
URI: http://hdl.handle.net/10119/3619
Appears in Collections:M-IS. 2006年度(H18) (Jun.2006 - Mar.2007)

Files in This Item:

File Description SizeFormat
010abstract.pdf57KbAdobe PDFView/Open
018jabstract.pdf118KbAdobe PDFView/Open
107paper.pdf311KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)