?
Total Equivalence Systems for Classes of 3-valued Projection Logic whose Projections Equal to the Class of Linear Boolean Functions
Ch. 23. P. 82–86.
Olga Gerasimova, Макаров И. А.
В книге
Samos Island: University of Aegean, 2015.
Н. Л. Поляков, В кн.: Algebra and Model Theory 14Vol. 14.: Novosibirsk: ., 2023. С. 102–112.
Рассмотрена теория Галуа для замкнутых классов инфинитарных функций и некоторые ее приложения в теории ультрафильтров. ...
Добавлено: 23 ноября 2023 г.
Павлова А. М., Logical Investigations 2019 Vol. 25 No. 2 P. 75–93
Добавлено: 20 сентября 2019 г.
Поляков Н. Л., Шамолин М. В., Вестник Самарского государственного университета. Естественнонаучная серия 2013 № 6(107) С. 61–73
В работе дано эффективное описание симметричных замкнутых классов дискретных функций, сохраняющих любой одноместный предикат. ...
Добавлено: 5 октября 2018 г.
Михайлович А. В., В кн.: Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем".: Улан-Удэ: Издательство Бурятского госуниверситета, 2017. С. 91–95.
В работе описана решётка всех замкнутых классов, содержащихся в замыкании всех функций из примеров Ю. И. Янова и А. А. Мучника. ...
Добавлено: 22 сентября 2017 г.
Михайлович А. В., В кн.: Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.).: М.: Изд-во механико-математического факультета МГУ, 2016. С. 209–212.
В работе рассматриваются периодические симметрические функции трехзначной логики, принимающие значения из множества {0,1}. Для классов, порождённых функциями с периодом, являющимся степенью простого числа, получены критерии базируемости и конечной порождённости. ...
Добавлено: 1 сентября 2016 г.
Шанг Ф. Ж., , in: New Directions in Paraconsistent Logic.: Springer, 2015. P. 529–552.
Добавлено: 14 июня 2016 г.
Михайлович А. В., В кн.: Материалы X молодежной научной школы по дискретной математике и ее приложениям.: М.: Издательство ИПМ РАН, 2015. С. 51–55.
В данной работе рассматривается семейство классов функций трехзначной логики, порожденных квазиоднослойными функциями принимающими значения из множества {0, 1}. Для таких классов получены критерии базируемости и конечной порождённости. ...
Добавлено: 8 апреля 2016 г.
Дагаев Д. А., Moscow University Mathematics Bulletin 2012 Vol. 67 No. 4 P. 182–184
Добавлено: 21 марта 2016 г.
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 г.
Olga Gerasimova, Макаров И. А., , in: Handbook of the 5th World Congress and School on Universal Logic.: Istanbul: University of Istanbul, 2015. P. 372–373.
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 identi es this set. Combining the results for each set ...
Добавлено: 19 сентября 2015 г.