Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления А.Ю. Муравицкий — 1986 Matematiceskij sbornik
Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики А.Ю. Муравицкий — 1981 Algebra i Logika
Сравнение топологической и реляционной семантик суперинтуиционистских логик А.Ю. Муравицкий — 1984 Algebra i Logika
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости А.В. Кузнецов; А.Ю. Муравицкий — 1987 Matematiceskie issledovanija