JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
H20) (Jun.2008 - Mar.2009 >

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

Title: 直観主義論理に基づくトポス意味論に関する研究
Authors: 平田, 晋也
Authors(alternative): ひらた, しんや
Keywords: 直観主義論理、圏、トポス、層、空間性トポス
intuitionistic logic, category, topos, sheaf, spatial topos
Issue Date: Mar-2009
Description: Supervisor:石原 哉 准教授
情報科学研究科
修士
Title(English): A study of topos semantics of formal theory based on intuitionistic logic
Authors(English): Hirata, Shin'ya
Language: jpn
URI: http://hdl.handle.net/10119/8144
Appears in Collections:M-IS. 2008年度(H20) (Jun.2008 - Mar.2009)

Files in This Item:

File Description SizeFormat
abstract.pdf32KbAdobe PDFView/Open
jabstract.pdf29KbAdobe PDFView/Open
paper.pdf224KbAdobe 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)