?
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
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 г.
Михайлович А. В., В кн. : Материалы X молодежной научной школы по дискретной математике и ее приложениям. : М. : Издательство ИПМ РАН, 2015. С. 51-55.
В данной работе рассматривается семейство классов функций трехзначной логики, порожденных квазиоднослойными функциями принимающими значения из множества {0, 1}. Для таких классов получены критерии базируемости и конечной порождённости. ...
Добавлено: 8 апреля 2016 г.
Михайлович А. В., Вестник Нижегородского университета им. Н.И. Лобачевского 2013 № 1 С. 208-212
Изучаются замкнутые классы функций трехзначной логики, порожденные симметрическими функциями, принимающими значения из множества {0, 1}. Для некоторых классов, порожденных элементарными периодическими симметрическими функциями такого вида, получены критерии базируемости и конечной порожденности. ...
Добавлено: 11 апреля 2013 г.
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 identies this set. Combining the results for each set ...
Добавлено: 19 сентября 2015 г.
Михайлович А. В., В кн. : Труды IX Международной конференции "Дискретные модели в теории управляющих систем". : М. : МАКС Пресс, 2015. С. 163-166.
В работе изучаются замкнутые классы функций многозначной логики. Рассматриваются семейства, порожденные функциями из множеств, обладающих специальными свойствами. Для таких классов получен критерий базируемости. ...
Добавлено: 28 марта 2015 г.
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 г.
Михайлович А. В., В кн. : Проблемы теоретической кибернетики. Материалы XVII международной конференции. : Каз. : Отечество, 2014. С. 204-206.
В работе рассматриваются замкнутые классы функций, порожденные двухслойными симметрическими фукнциями, принимающими все значения из множества {0,1,2}, причем принимающие значения 1 и 2 на наборах из множества {1,2}^n. Для этих классов получены критерии базируемости и конечной порожденности. ...
Добавлено: 12 марта 2015 г.
Михайлович А. В., Прикладная дискретная математика 2015 № 1 С. 17-26
Изучаются замкнутые классы функций трехзначной логики, порожденные симметрическими функциями, принимающими значение 1 на ограниченном числе слоев, а на остальных наборах принимающих нулевое значение. Для этих классов получены критерии базируемости и конечной порожденности. Установлена зависимость наличия базиса (наличия конечного базиса) в рассматриваемом классе от существования базиса (существования конечного базиса соответственно) в подклассах, порожденных монотонными и немонотонными ...
Добавлено: 11 марта 2015 г.
Михайлович А. В., В кн. : Материалы IX молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 сентября 2013 г.). : М. : Издательство ИПМ РАН, 2013. С. 80-85.
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1} и принимающие значение 1 на ограниченном числе слоев. Для таких замкнутых классов получены критерии базируемости и конечной порожденности. ...
Добавлено: 24 октября 2013 г.
Михайлович А. В., В кн. : Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.). : М. : Изд-во механико-математического факультета МГУ, 2016. С. 209-212.
В работе рассматриваются периодические симметрические функции трехзначной логики, принимающие значения из множества {0,1}. Для классов, порождённых функциями с периодом, являющимся степенью простого числа, получены критерии базируемости и конечной порождённости. ...
Добавлено: 1 сентября 2016 г.
Михайлович А. В., В кн. : Математические вопросы кибернетики. Вып. 18.: М. : Физматлит, 2013. С. 123-212.
В работе изучаются свойства замкнутых классов функций многозначной логики. Рассматривается задача о существовании базисов для некоторых семейств замкнутых классов. Функции из порождающих систем обладают следующими свойствами: каждая функция является симметрической, принадлежит множество P<sub>k,2</sub> (то есть принимает значения только из множества {0,1}), принимает значение 0 на единичном наборе и на всех наборах, содержащих хотя бы одну ...
Добавлено: 25 марта 2014 г.
Михайлович А. В., В кн. : Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем". : Улан-Удэ : Издательство Бурятского госуниверситета, 2017. С. 91-95.
В работе описана решётка всех замкнутых классов, содержащихся в замыкании всех функций из примеров Ю. И. Янова и А. А. Мучника. ...
Добавлено: 22 сентября 2017 г.
Михайлович А. В., Moscow University Mathematics Bulletin 2012 Vol. 67 No. 1 P. 41-45
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1}. Показано, что в некоторых случаях задачи о базируемости и конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. ...
Добавлено: 30 октября 2012 г.
Шанг Ф. Ж., 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 г.
Шанг Ф. Ж., International Journal of Jaina Studies 2013 Vol. 9 No. 1 P. 1-25
Добавлено: 30 октября 2014 г.
Шанг Ф. Ж., , in : New Directions in Paraconsistent Logic. : Springer, 2015. P. 529-552.
Добавлено: 14 июня 2016 г.
Дагаев Д. А., Moscow University Mathematics Bulletin 2012 Vol. 67 No. 4 P. 182-184
Добавлено: 21 марта 2016 г.
Михайлович А. В., Вестник Московского университета. Серия 1: Математика. Механика 2012 № 1 С. 58-62
Изучаются замкнутые классы функций трехзначной логики, порождающие системы которых содержат симметрические функции, принимающие значения из множества {0, 1}. Показано, что в некоторых случаях задачи о базируемости и конечной порожденности для таких классов сводятся к аналогичным задачам для классов, порождающие системы которых являются подмножествами порождающих систем исходных множеств. ...
Добавлено: 30 октября 2012 г.
Михайлович А. В., В кн. : Материалы VIII молодежной научной школы по дискретной математике и ее приложениям (Москва, 24–29 октября 2011 г.). Ч. II.: М. : Механико-математический факультет МГУ, 2011. С. 16-19.
Рассматривается некоторое семейство замкнутых классов функций трехзначной логики, порожденных монотонными симметрическими функциями. Для этих классов получены критерии базируемости и конечной порожденности. ...
Добавлено: 23 ноября 2012 г.
Макаров И. А., / Logica Universalis. Series " ". 2015.
The article deals with finding finite total equivalence systems (FTES) 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 ...
Добавлено: 17 октября 2013 г.
О замкнутых классах функций трехзначной логики, порожденных периодическими симметрическими функциями
Михайлович А. В., В кн. : Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20–25 июня 2011 г.). : Н. Новгород : Нижегородского госуниверситета, 2011. С. 319-322.
В работе изучается семейство замкнутых классов, порожденных периодическими симметрическими функциями с ограниченным периодом. Показано, что такой класс имеет базис тогда и только тогда, когда порождающая система содержит конечное число функций. ...
Добавлено: 22 ноября 2012 г.