|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1990 |
| 1. |
А. Ю. Муравицкий, “Магариевы и $\Delta$-псевдобулевы алгебры”, Сиб. матем. журн., 31:4 (1990), 111–117    ; A. Yu. Muravitskii, “Magari and $\Delta$-pseudo-Boolean algebras”, Siberian Math. J., 31:4 (1990), 623–628  |
3
|
|
1989 |
| 2. |
А. Ю. Муравицкий, “Соответствие расширений доказуемостно-интуиционистской логики расширениям логики доказуемости”, Тр. Ин-та математики, 12 (1989), 104–120 |
|
1986 |
| 3. |
А. Ю. Муравицкий, “Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления”, Матем. сб., 131(173):3(11) (1986), 403–412 ; A. U. Muravitskii, “Algebraic proof of the separation property for an intuitionistic provability calculus”, Math. USSR-Sb., 59:2 (1988), 397–406 |
2
|
|
1985 |
| 4. |
А. Ю. Муравицкий, “Соответствие расширений доказуемостно-интуиционистской логики расширениям логики доказуемости”, Докл. АН СССР, 281:4 (1985), 789–793 |
|
1984 |
| 5. |
А. Ю. Муравицкий, “Один результат о полноте суперинтуиционистских логик”, Матем. заметки, 36:5 (1984), 765–776 ; A. U. Muravitskii, “A result on the completeness of superintuitionistic logics”, Math. Notes, 36:5 (1984), 883–889 |
| 6. |
А. Ю. Муравицкий, “О суперинтуиционистских логиках, аппроксимируемых алгебрами с обрывом убывающих цепей”, Матем. заметки, 35:2 (1984), 273–276 ; A. U. Muravitskii, “Superintuitionistic logics approximated by algebras with the descending chain condition”, Math. Notes, 35:2 (1984), 145–146 |
|
1983 |
| 7. |
А. Ю. Муравицкий, “Сравнение топологической и реляционной семантик суперинтуиционистских логик”, Алгебра и логика, 22:3 (1983), 276–296 |
| 8. |
А. Ю. Муравицкий, “О расширении логики доказуемости”, Матем. заметки, 33:6 (1983), 915–927 ; A. U. Muravitskii, “Extensions of the provability logic”, Math. Notes, 33:6 (1983), 469–475 |
1
|
|
1981 |
| 9. |
А. Ю. Муравицкий, “Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики”, Алгебра и логика, 20:2 (1981), 165–182 |
| 10. |
А. Ю. Муравицкий, “О финитной аппроксимируемости исчисления $I^\Delta$ и немоделируемости некоторого его расширения”, Матем. заметки, 29:6 (1981), 907–916 ; A. U. Muravitskii, “Finite approximability of the $I^\Delta$ calculus and the existence of an extension having no model”, Math. Notes, 29:6 (1981), 463–468 |
5
|
|
Обратная связь: