О суперинтуиционистских логиках как фрагментах расширений логики доказуемости А.В. Кузнецов, А.Ю. Муравицкий (1987) Matematiceskie issledovanija
О сходимости позитивных схем S4 и Int С.И. Мардаев, S. I. Mardaev, S. I. Mardaev, S. I. Mardaev (1994) Algebra i Logika
О теории абелевых групп с предикатами, выделяющими подгруппы, и операциями эндоморфизмов. В.И. Мартьянов, V.I. Mart'janov, V.I. Mart'ǎnov, V.I. Mart'yanov (1975) Algebra i Logika
О теории булевых алгебр с локально конечной группой автоморфизмов. З.А. Дулатова (1987) Sibirskij matematiceskij zurnal
О теориях абелевых групп с предикатами, выделяющими подгруппы. А.М. Слободской, Е.И. Фридман, A.M. Slobodskoj, E.I. Fridman, A.M. Slobodskoj, E.I. Fridman, A.M. Slobodskij, E.I. Friedman (1975) Algebra i Logika
О финитной аппроксимируемости для допустимых правил вывода В.В. Рыбаков, В.Р. Кияткин, Т. Онер (2001) Algebra i Logika
О финитной аппроксимируемости суперинтуиционистких логик В.Я. Герчиу (1972) Matematiceskie issledovanija
О функциональной выразимости в суперинтуиционистских логиках А.В. Кузнецов (1971) Matematiceskie issledovanija
О функциональной полноте в некоторых логиках, промежуточных между классической и интуиционистской М.Ф. Раца (1970) Matematiceskie issledovanija
О числе предлокально-табличных суперинтуиционистских пропозициональных логик. С.И. Мардаев (1984) Algebra i Logika
Об аксиоматизации конечнозначных логических исчислений О.М. Аншаков, С.В. Рычков (1984) Matematiceskij sbornik
Об алгебраической семантике для суперинтуиционистских предикатных логик. Д.Е. Тишковский, D.E. Tiškovskij, D.E. Tiškovskij, D.E. Tiškovskij (1999) Algebra i Logika
Об аппроксимации классов сведения УИП разрешимыми классами С.А. Норгела (1976) Zapiski naucnych seminarov Leningradskogo
Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике. А.Д. Яшин (2002) Algebra i Logika