|
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)
|
All items in DSpace are protected by copyright, with all rights reserved.
|
