Undecidable problems for propositional calculi with implicationGrigoriy V. BokovLogic Journal of the IGPL20163 Excerpts
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implicationGrigoriy V. BokovLogic Journal of the IGPL20151 Excerpt