Separator Method for Constructing Canonical Types of Formulas

Olga Gerasimova; I. Makarov

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

30 сентября 2026 г.

Ученые НИУ ВШЭ - Санкт-Петербург нашли способ ускорения нейросетей при помощи микролазеров

Ученые Международной лаборатории квантовой оптоэлектроники НИУ ВШЭ — Санкт-Петербург и Лазерного института Академии наук Шаньдунь (Китай) смогли напрямую сопоставить скорость микродисковых лазеров, работающих от оптической и электрической энергии. Результаты позволят оптимизировать работу источников излучения в фотонных чипах для нейросетей и дата-центров. Исследование опубликовано в журналеJournal of Lightwave Technology.

30 сентября 2026 г.

ВШЭ создала веб-приложение для оценки эффекта биочар-проектов

Центр цифровых технологий для природно-климатических проектов НИУ ВШЭ разработал веб-приложение для предварительной оценки проектов по производству биочара из растительных остатков и его внесению в почву. Инструмент позволяет рассчитать потенциальный объем производства биочара и углеродных единиц, определить необходимую площадь сельскохозяйственных земель, оценить объем инвестиций и ожидаемый экономический эффект проекта.

30 сентября 2026 г.

«Нужно быть готовым отстаивать свою позицию перед более опытными исследователями»

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

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