А. В. Чернов, “Финитные задачи и логика слабого закона исключенного третьего”, Матем. заметки, 77:2 (2005), 291–302 ; A. V. Chernov, “Finite problems and the logic of the weak law of excluded middle”, Math. Notes, 77:2 (2005), 263–272
Н. К. Верещагин, Д. П. Скворцов, Е. З. Скворцова, А. В. Чернов, “Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Труды МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 77–97 ; N. K. Vereshchagin, D. P. Skvortsov, E. Z. Skvortsova, A. V. Chernov, “Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle”, Proc. Steklov Inst. Math., 242 (2003), 67–85