Муравицкий А Ю

Публикации в базе данных Math-Net.Ru

1. Магариевы и $\Delta$-псевдобулевы алгебры
   
   Сиб. матем. журн., 31:4 (1990),  111–117
2. Соответствие расширений доказуемостно-интуиционистской логики расширениям логики доказуемости
   
   Тр. Ин-та математики, 12 (1989),  104–120
3. Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
   
   Матем. сб., 131(173):3(11) (1986),  403–412
4. Соответствие расширений доказуемостно-интуиционистской логики расширениям логики доказуемости
   
   Докл. АН СССР, 281:4 (1985),  789–793
5. Один результат о полноте суперинтуиционистских логик
   
   Матем. заметки, 36:5 (1984),  765–776
6. О суперинтуиционистских логиках, аппроксимируемых алгебрами с обрывом убывающих цепей
   
   Матем. заметки, 35:2 (1984),  273–276
7. Сравнение топологической и реляционной семантик суперинтуиционистских логик
   
   Алгебра и логика, 22:3 (1983),  276–296
8. О расширении логики доказуемости
   
   Матем. заметки, 33:6 (1983),  915–927
9. Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
   
   Алгебра и логика, 20:2 (1981),  165–182
10. О финитной аппроксимируемости исчисления $I^\Delta$ и немоделируемости некоторого его расширения
    
    Матем. заметки, 29:6 (1981),  907–916