Interactive error correction in implicative theories

Sergei O. Kuznetsov, Artem Revenko. Interactive error correction in implicative theories. Int. J. Approx. Reasoning, 63:89-100, 2015. [doi]