TY  - RPRT
TI  - On the dependent conjunction and implication
AU  - Matthieu Herrmann
AU  - Alain Prouté
PY  - 2018
UR  - https://arxiv.org/abs/1606.06005
ID  - 1606.06005
ER  -