JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy(Information Science) >
H13) (Jun.2001 - Mar.2002 >

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

Title: 非古典論理の証明論 - 直観主義部分構造論理の自然演繹体系と証明支援システムの構築
Authors: 毛利, 元彦
Authors(alternative): もうり, もとひこ
Keywords: 数理論理学, 部分構造論理, 自然演繹, ラムダ項, 定理自動証明, 証明反駁アルゴリズム
mathematical logic, substructural logics, lambda c
Issue Date: Mar-2002
Description: 
Supervisor:小野 寛晰
情報科学研究科
博士
Title(English): Proof Theoretical Studies of Non-Classical Logics - Natural Deduction Systems for Intuitionistic Substructural Logics and an Implementation of Proof Assistance System
Authors(English): Mouri, Motohiko
Language: jpn
URI: http://hdl.handle.net/10119/922
Appears in Collections:D-IS. 2001年度(H13) (Jun.2001 - Mar.2002)

Files in This Item:

File Description SizeFormat
1539abstract.pdf31KbAdobe PDFView/Open
1539jabstract.pdf18KbAdobe PDFView/Open
1539paper.pdf801KbAdobe PDFView/Open

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

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology