On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics
-
- 中戸川 孝治
- 北海道大学
書誌事項
- タイトル
- On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics
- 著者
- T.Ueno, K.Nakatogawa, O.Watari(上野岳史、中戸川孝治、亘理修)
収録刊行物
-
- Archive for Studies in Logic (AFSIL) 10
-
Archive for Studies in Logic (AFSIL) 10 1-10, 2009