TY  - RPRT
TI  - On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics
AU  - Takeshi Ueno
AU  - Koji Nakaogawa
AU  - Osamu Watari
PY  - 2009
UR  - https://arxiv.org/abs/0902.0304
ID  - 0902.0304
ER  -