И. Д. Заславский, “Формальные аксиоматические теории на основе трехзначной логики”, Теория сложности вычислений. VIII, Зап. научн. сем. ПОМИ, 304, ПОМИ, СПб., 2003, 19–74 ; I. D. Zaslavsky, “Formal axiomatic theories on the base of three-valued logic”, J. Math. Sci. (N. Y.), 130:2 (2005), 4578–4597
Nepeyvoda N.N., “Constructive Logical Tools .1. Generalized Notion of Logical Calculus”, Soviet Journal of Computer and Systems Sciences, 26:2 (1988), 129–138
Kanovich M.I., “The Independence of Invariant Propositions”, Doklady Akademii Nauk Sssr, 276:1 (1984), 27–31
М. М. Кипнис, “Инвариантные свойства систем формул элементарных аксиоматических теорий”, Изв. АН СССР. Сер. матем., 34:5 (1970), 963–976 ; M. M. Kipnis, “Invariant properties of systems of formulas of elementary axiomatic theories”, Math. USSR-Izv., 4:5 (1970), 965–978