TY  - RPRT
TI  - Theorems of Alternatives for Substructural Logics
AU  - Almudena Colacito
AU  - Nikolaos Galatos
AU  - George Metcalfe
PY  - 2020
UR  - https://arxiv.org/abs/2002.11419
ID  - 2002.11419
ER  -