|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
С. А. Дробышевич, “Нормальные напарники интуиционистских модальных логик”, Алгебра и логика, 61:6 (2022), 659–686  |
|
2014 |
| 2. |
С. А. Дробышевич, “Ряд модальных операторов над интуиционистской логикой”, Алгебра и логика, 53:6 (2014), 770–775  ; S. A. Drobyshevich, “Some modal operators over intuitionistic logic”, Algebra and Logic, 53:6 (2015), 506–509   |
|
2013 |
| 3. |
С. А. Дробышевич, “Композиция интуиционистского отрицания и негативных модальностей как оператор необходимости”, Алгебра и логика, 52:3 (2013), 305–331 ; S. A. Drobyshevich, “Composition of an intuitionistic negation and negative modalities as a necessity operator”, Algebra and Logic, 52:3 (2013), 203–221 |
3
|
| 4. |
С. А. Дробышевич, С. П. Одинцов, “Свойство конечных моделей для негативных модальностей”, Сиб. электрон. матем. изв., 10 (2013), 1–21 |
6
|
| 5. |
С. А. Дробышевич, “Оператор двойного отрицания в логике $N^*$”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 68–83 ; S. A. Drobyshevich, “A Double Negation Operator in Logic $N^*$”, J. Math. Sci., 205:3 (2015), 389–402 |
4
|
|
2011 |
| 6. |
С. А. Дробышевич, “Гибридное исчисление для логики $N^*$, её конечная аппроксимируемость и разрешимость”, Алгебра и логика, 50:3 (2011), 351–367  ; S. A. Drobyshevich, “A hybrid calculus for logic $N^*$: Residual finiteness and decidability”, Algebra and Logic, 50:3 (2011), 245–256 |
3
|
|
Обратная связь: