TY  - RPRT
TI  - On Constructive Connectives and Systems
AU  - Arnon Avron
AU  - Ori Lahav
PY  - 2010
DO  - 10.2168/lmcs-6(4:12)2010
UR  - https://arxiv.org/abs/1011.4384
ID  - 1011.4384
ER  -