RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Дробышевич Сергей Андреевич

В базах данных Math-Net.Ru
Публикаций: 5
Научных статей: 5
Лекций и докладов: 1

Статистика просмотров:
Эта страница:947
Страницы публикаций:839
Полные тексты:211
Списки литературы:149
E-mail:

http://www.mathnet.ru/rus/person68788
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

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

Доклады и лекции в базе данных Math-Net.Ru
1. Системы с явными опровержениями
С. А. Дробышевич
Санкт-Петербургский логический семинар
28 апреля 2020 г. 18:30   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020