TY  - RPRT
TI  - Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi
AU  - Grigoriy V. Bokov
PY  - 2014
DO  - 10.1093/jigpal/jzu047
UR  - https://arxiv.org/abs/1407.7010
ID  - 1407.7010
ER  -