Natural Deductions for Substructural Logics


Hokkaido University \| Library \| HUSCAP	Advanced Search		言語

	Home
	About HUSCAP
	Open Access Policy

	Browse by Author

Browse
	Communities & Collections

	Scholarly Journals
	Theses
	Doctoral Dissertations Listed by Graduate Schools
	Conference Procs.
	Events

	HUSCAP Senior (in Japanese)

	Societies

	Downloads (country)

For university staff
	How to post your papers to HUSCAP
	Publication of theses
	Helpline about theses publication

Open Archives Compliant

You can search our collection also at:
	Google
	Google Scholar
	CiNii
	IRDB
	OAIster
	NDLTD

Files in This Item:

000000353734.pdf

31.74 MB

PDF

Please use this identifier to cite or link to this item:https://doi.org/10.11501/3168541

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

Submitter: 上野岳史

OAI-PMH ( junii2 , jpcoar_1.0 )

- Hokkaido University