Some remarks on Došen's logic N and its extensions

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

6 августа 2026 г.

Исследователи ВШЭ показали, как создавать регуляторную ДНК напрямую

Исследователи НИУ ВШЭ разработали модель для генерации промоторов и энхансеров — участков ДНК, регулирующих работу генов. Модель работает с нуклеотидами ДНК напрямую, без промежуточного преобразования в непрерывное числовое пространство. Разработка может быть полезна в синтетической биологии и генной терапии. Результаты исследования представлены на воркшопе конференции ICLR 2026.

5 августа 2026 г.

«Самый результативный метод не теряться - делать хорошие исследования»

Эксперты Международной лаборатории проектирования и исследований в онлайн-обучении ВШЭ изучают и разрабатывают методы образования, предполагающие большую вовлеченность студентов и школьников в процесс обучения. Лаборатория активно исследует поведение учащихся через их цифровые следы в онлайн-системах, отношение педагогов к применению современных технологий и коммуникаций в обучении и разрабатывает принципы продуктивного применения ИИ в образовании. О деятельности лаборатории «Вышка.Главное» побеседовала с ее заведующей Анастасией Капузой.

5 августа 2026 г.

Развивая сотрудничество: совместный семинар ФКН ВШЭ и Харбинского технологического университета

13–16 июля на факультете компьютерных наук прошел Российско-китайский научно-исследовательский семинар по приложениям машинного обучения, организованный Научно-учебной лабораторией облачных и мобильных технологий совместно с Харбинским политехническим университетом (Китай). Делегация из семи студентов и трех представителей университета прибыла в Москву, чтобы принять участие в интенсивной четырехдневной программе.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Some remarks on Došen's logic N and its extensions

Siberian Electronic Mathematical Reports. 2022. Vol. 19. No. 2. P. 562–577.

Сперанский С. О.

This paper collects some observations about Došen's logic N, where negation is treated as a modal operator, and its extensions. We shall see what happens when we add the contraposition axiom to several important extensions of N, show that certain extensions of N are canonical, and also revisit the method of filtration.

Язык: английский

Текст на другом сайте

Negation as a modality in a quantified setting

Сперанский С. О., Journal of Logic and Computation 2021 Vol. 31 No. 5 P. 1330–1355

The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen's propositional logic N, whose negation is weaker than that of Johansson's minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed in [Cabalar et al. 2006], while the latter has ...

Добавлено: 26 декабря 2025 г.

Polytime embedding of intuitionistic modal logics into their one-variable fragments

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2025 Vol. 35 No. 4 Article exae077

Добавлено: 16 сентября 2024 г.

On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics

Рыбаков М. Н., Shkatov D., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 73–74.

Добавлено: 7 июля 2023 г.