HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
Theses >
博士 (理学) >

Natural Deductions for Substructural Logics

Files in This Item:
000000353734.pdf31.74 MBPDFView/Open
Please use this identifier to cite or link to this item:

Title: Natural Deductions for Substructural Logics
Other Titles: 部分構造論理の自然演繹での定式化
Authors: Ueno, Takeshi1 Browse this author
Authors(alt): 上野, 岳史1
Issue Date: 24-Mar-2000
Publisher: Hokkaido University
Conffering University: 北海道大学
Degree Report Number: 甲第4977号
Degree Level: 博士
Degree Discipline: 理学
Type: theses (doctoral)
Appears in Collections:学位論文 (Theses) > 博士 (理学)

Submitter: 上野 岳史

Export metadata:

OAI-PMH ( junii2 , jpcoar_1.0 )

MathJax is now OFF:


 - Hokkaido University