Separator Method for Constructing Canonical Types of Formulas

Olga Gerasimova; I. Makarov

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

20 мая 2026 г.

«Еж» против «родственника»: ученые измерили, как мозг реагирует на неожиданные слова в живой речи

Российские нейрофизиологи с участием исследователей из НИУ ВШЭ показали, что изучать восприятие живой речи можно с помощью вызванных потенциалов. Они доказали, что метод применим не только к отдельным словам, но и к непрерывной речи. Оказалось, что слова, сильно отличающиеся по смыслу от предыдущего контекста, мозг обрабатывает дольше, а служебные слова анализирует в два этапа: сначала определяет их грамматическую роль, а затем на этой основе предсказывает следующее слово. Исследование опубликовано в журнале Frontiers in Human Neuroscience.

20 мая 2026 г.

Творческая работа как лекарство от выгорания

Творческая и доброжелательная атмосфера, новые методы в Международной лаборатории (впоследствии центре) социокультурных исследований привлекают молодых исследователей. За годы работы в Вышке они становятся учеными и преподавателями, известными в России и за рубежом. О своем пути в центре и в Вышке, исследованиях и роли наставников в научных успехах рассказали главный научный сотрудник ЦСКИ Зарина Лепшокова и ведущий научный сотрудник Екатерина Бушина.

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

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

Публикации

?

Separator Method for Constructing Canonical Types of Formulas

P. 372–373.

Olga Gerasimova, Макаров И. А.

We present a new method of nding the canonical types of formulas based on three-valued projection logic functions. The method is focused on separation of all tuples of values for variables into disjoint sets. For every such set we take its own simple canonical type that identies this set. Combining the results for each set we obtain the required canonical type for a closed class.

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

Полный текст

Ключевые слова: Many-valued logics Многозначные логики Separator Method Canonical type Канонический вид

В книге

Handbook of the 5th World Congress and School on Universal Logic

Istanbul: University of Istanbul, 2015.

Game-theoretical interpretation of abelian logic A

Павлова А. М., Logical Investigations 2019 Vol. 25 No. 2 P. 75–93

Добавлено: 20 сентября 2019 г.

Eastern Proto-Logics

Шанг Ф. Ж., , in: New Directions in Paraconsistent Logic.: Springer, 2015. P. 529–552.

Добавлено: 14 июня 2016 г.

Behavior of the Shannon Function for Some Families of Classes of Three-Valued Logic Functions

Дагаев Д. А., Moscow University Mathematics Bulletin 2012 Vol. 67 No. 4 P. 182–184

Добавлено: 21 марта 2016 г.

Franco Montagna’s Work on Provability Logic and Many-valued Logic

L. Beklemishev, Flaminio T., Studia Logica 2016 Vol. 104 No. 1 P. 1–46

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic. ...

Добавлено: 13 марта 2016 г.

Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions

Olga Gerasimova, Макаров И. А., , in: Proceedings of the 10th Panhelleic Logic Symposium.: Samos Island: University of Aegean, 2015. Ch. 23 P. 82–86.

Добавлено: 19 сентября 2015 г.

Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions

Макаров И. А., Logica Universalis 2015 Vol. 9 No. 1 P. 1–26

The article deals with finding finite total equivalence systems for formulas based on an arbitrary closed class of functions of several variables defined on the set \{0, 1, 2\} and taking values in the set \{0,1\} with the property that the restrictions of its functions to the set \{0, 1\} constitutes a closed class of ...

Добавлено: 28 февраля 2015 г.

Two Ancient Dialectical Logics: saptbhangi and catuskoti

Шанг Ф. Ж., Journal of Indian Council of Philosophical Research 2011 Vol. 27 No. 1 P. 47–76

A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhangi, and the Madhyamika catuskoti. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from Aristotelian metaphysics. This misunderstanding can be corrected in two steps: by recalling their assumptions about truth; by reconstructing their ensuing theory of ...

Добавлено: 4 ноября 2014 г.

MacColl's Modes of Modalities

Шанг Ф. Ж., Philosophia Scientiae 2011 Vol. 15 No. 1 P. 149–188

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