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

АБВ
АБВ
АБВ

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

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

по году

Тематика

3 ноября 2026 г.

«Органы на чипе позволяют проверять лекарства без экспериментов на животных»

Лаборатория молекулярной физиологии факультета биологии и биотехнологии НИУ ВШЭ изучает, как молекулярные регуляторы (микроРНК) управляют работой генов и влияют на развитие болезней — онкологических, вирусных и воспалительных, а также осложнений беременности. В Вышке выращивают модели органов человека на чипе: крошечные устройства с живыми клетками, воспроизводящие работу, например, плаценты или кишечника. Модели помогают понять, как возникают болезни и как на них действуют лекарства. «Вышка.Главное» побеседовала с заведующим лабораторией Евгением Князевым.

3 ноября 2026 г.

В НИУ ВШЭ выяснили, почему опытные читатели ошибаются в нестандартных фразах

Ученые Центра языка и мозга НИУ ВШЭ проверили, как люди понимают предложения, когда грамматика подсказывает одно, а жизненный опыт — другое. Участники эксперимента читали фразы о двух персонажах и отвечали, кто из них выполнил действие. Результаты показали, что более начитанные люди лучше справлялись с заданиями, в которых персонаж выполнял ожидаемое действие, но ошибались, когда действие персонажа шло вразрез с ожиданиями.Исследование опубликовано в журнале Quarterly Journal of Experimental Psychology. Работа выполнена при поддержке гранта РНФ.

30 октября 2026 г.

«Объект наших исследований - суперкомпьютер»

Феликс Смирнов занимается суперкомпьютерными технологиями, чтобы помогать другим ученым в их работе. В интервью проекту «Молодые ученые Вышки» он рассказал о настройке коммуникаций между узлами, своем увлечении кинематографом и о старых вывесках на Хитровке.

Нашли опечатку?
Выделите её, нажмите 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 г.