TY  - RPRT
TI  - Undecidable problems for propositional calculi with implication
AU  - Grigoriy V. Bokov
PY  - 2015
DO  - 10.1093/jigpal/jzw013
UR  - https://arxiv.org/abs/1502.00978
ID  - 1502.00978
ER  -