О свойствах суперинтуиционистских пропозициональных исчислений. В.И. Хомич (1990) Sibirskij matematiceskij zurnal
О секвенциальных вариантах прикладных исчислений предикатов М.Г. Рогава (1967) Zapiski naucnych seminarov Leningradskogo
О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств Ю.В. Голунков, А.А. Савельев (1987) Verojatnostnye metody i kibernetika
О сложности линейных выводов в методе резолюций Р.К. Самитов (1983) Verojatnostnye metody i kibernetika
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости А.В. Кузнецов, А.Ю. Муравицкий (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