On Belnapian modal algebras: Representations, homomorphisms, congruences, and so on

АБВ
АБВ
АБВ

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

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

по году

Тематика

23 июля 2026 г.

РНФ поддержал 31 проект молодых ученых НИУ ВШЭ

Российский научный фонд подвел итоги трех конкурсов, направленных на поддержку молодых ученых. Победителями признаны более 850 проектов, в том числе 31 из Высшей школы экономики. На средства грантов будут проведены исследования, направленные на решение конкретных задач в рамках приоритетов научно-технологического развития, которые определены в Стратегии научно-технологического развития Российской Федерации.

22 июля 2026 г.

Тяга к сладкому оказалась важнее заботы о здоровье

Исследователи НИУ ВШЭ в Перми с помощью ЭЭГ изучили, как тяга к сладкому и интерес к здоровому питанию влияют на оценку газированных напитков со вкусом колы. В ходе дегустации участники оценивали вкус напитка и называли максимальную сумму, которую готовы за него заплатить. Оказалось, что чем выше интерес человека к здоровью, тем более сложным и когнитивно затратным для него является решение о готовности платить и тем меньше в итоге он будет готов заплатить за такой напиток. Исследование опубликовано в журнале British Food Journal.

21 июля 2026 г.

«Нам бы хотелось, чтоб наши корпуса использовались больше»

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

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

Публикации

?

On Belnapian modal algebras: Representations, homomorphisms, congruences, and so on

Siberian Electronic Mathematical Reports. 2013. Vol. 10. P. 517–534.

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

We obtain a bunch of principal results on Belnapian modal algebras (henceforth called BK-lattices) — these results may serve as a semantical basis for further investigation of the lattice of extensions of Belnapian modal logic (denoted by BK here).

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

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

The lattice of Belnapian modal logics: Special extensions and counterparts

Сперанский С. О., Logic and Logical Philosophy 2016 Vol. 25 No. 1 P. 3–33

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: introducing the classes (or rather sublattices) of so-called explosive, complete and classical Belnapian modal logics; assigning to every normal modal logic three special ...

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

Belnap–Dunn modal logics: Truth constants vs. truth values

Odintsov S., Сперанский С. О., Review of Symbolic Logic 2020 Vol. 13 No. 2 P. 416–435

We shall be concerned with the modal logic BK — which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are ...

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

Hintikka's independence-friendly logic meets Nelson's realizability

Odintsov S., Сперанский С. О., Shevchenko I., Studia Logica 2018 Vol. 106 No. 3 P. 637–670

Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation — which extends the famous Kleene’s realizability interpretation by adding ...

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

Products of modal logics and tensor products of modal algebras

Gabbay D., Shapirovsky I., Шехтман В. Б., Journal of Applied Logic 2014 Vol. 12 No. 4 P. 570–583

One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. ...

Добавлено: 24 марта 2015 г.

L'opposition: analyse sémantique d'une notion flottante

Шанг Ф. Ж., (France) 2012 Vol. 13 P. 65–85

Добавлено: 31 октября 2014 г.