TY  - RPRT
TI  - Coalgebraic completeness-via-canonicity for distributive substructural logics
AU  - Fredrik Dahlqvist
AU  - David Pym
PY  - 2016
UR  - https://arxiv.org/abs/1508.04940
ID  - 1508.04940
ER  -