TY  - JOUR
AU  - Płaczek, Paweł
TI  - One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
JO  - Bulletin of the Section of Logic
PY  - 2021
SP  - 55
EP  - 80
VL  - 50
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2021_50_1_a2/
LA  - en
ID  - BSL_2021_50_1_a2
ER  -