HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 3 of 3
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
bulletin (article)Ueno, Takeshi; Nakatogawa, Koji; Watari, OsamuOn Non-eliminability of the Cut Rule and the Roles of Associativity and Distributivity in Non-commutative Substructural Logics-哲学Annals of the Philosophical Society of Hokkaido University2-Dec-2018
conference presentationUeno, TakeshiChallenges in Chiba University for Campus Sustainabilityサステイナブルキャンパス千葉大学チャレンジ--26-Oct-2011
theses (doctoral)Ueno, TakeshiNatural Deductions for Substructural Logics部分構造論理の自然演繹での定式化--24-Mar-2000
Showing results 1 to 3 of 3


Hokkaido University