Separator Method for Constructing Canonical Types of Formulas

Olga Gerasimova; I. Makarov

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

15 октября 2026 г.

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

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

13 октября 2026 г.

Российские ученые поставили под сомнение установление рекорда в замерах свойств сверхпроводников

Топологические изоляторы проводят ток только по поверхности и поэтому рассматриваются как перспективные материалы для будущей электроники и квантовых технологий. Особый интерес представляет их контакт со сверхпроводниками. Физики из НИУ ВШЭ показали, что недавний эксперимент, в котором в такой гибридной структуре якобы наблюдалось объединение электронных пар на рекордном расстоянии 1,5 мкм, допускает более прозаичное объяснение. По их мнению, тот же сигнал может быть обусловлен обычным прохождением электронов через сверхпроводник. Дискуссия исследователей развернулась на страницах Nature Physics.

12 октября 2026 г.

Устойчивое управление и стоимость бизнеса: экономисты ВШЭ выяснили, как они связаны на российском рынке

На российском рынке устойчивое развитие повышает стоимость бизнеса прежде всего тогда, когда становится частью корпоративной стратегии. К такому выводу пришли исследователи НИУ ВШЭ и их зарубежные коллеги, проанализировав практики управления 152 публичных российских компаний. Статья опубликована в журнале Business Strategy and the Environment.

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