Closed classes of three-valued logic functions of which a generating system consists of symmetric functions with values in the set {0,1} and with value 1 at a bounded subset of layers from {1, 2} n are considered. Some criteria for existence of a basis and of a finite basis are obtained for these classes. It is shown how the existence of a basis or of a finite basis depends on the existence of a basis or of a finite basis in subclasses generated by monotonous or non-monotonous functions.
Скачать электронную версию публикации
Загружен, раз: 55
- Title О классах функций трёхзначной логики, порождённых симметрическими функциями с ограниченным числом слоёв
- Headline О классах функций трёхзначной логики, порождённых симметрическими функциями с ограниченным числом слоёв
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 1 (27)
- Date:
- DOI
Ключевые слова
closed classes, generating systems, multi-valued logic functions, порождающая система, замкнутый класс, функции многозначной логикиАвторы
Ссылки
Михайлович А. В. О свойствах замкнутых классов функций трехзначной логики, порожденных симметрическими функциями // Материалы X Междунар. семинара «Дискретная математика и ее приложения» (Москва, 1-6 февраля 2010 г.). М.: Изд-во механико-математического факультета МГУ, 2010. С. 193-196.
Яблонский С. В. Введение в дискретную математику. М.: Высшая школа, 2001. 384 с.
Михайлович А. В. О замкнутых классах трехзначной логики, порожденных системами, содержащими симметрические функции // Вестн. Моск. ун-та. Матем. Механ. 2012. № 1. С. 58-62.
Михайлович А. В. О базируемости замкнутых классов функций трехзначной логики, порожденных симметрическими функциями с ограниченным числом слоев // Материалы IX молодежной науч. школы по дискретной математике и её приложениям (Москва, 16-21 сентября 2013 г.). М.: Изд-во ИПМ РАН, 2013. С. 80-85.
Михайлович А. В. О замкнутых классах функций многозначной логики, порожденных симметрическими функциями // Математические вопросы кибернетики. М.: Физматлит, 2013. Вып. 18. С. 123-212.
Михайлович А. В. О классах функций трехзначной логики, порожденных монотонными симметрическими функциями // Вестн. Моск. ун-та. Матем. Механ. 2009. №1. С. 33-37.
Янов Ю. И., Мучник А. А. О существовании k-значных замкнутых классов, не имеющих конечного базиса // ДАН СССР. 1959. Т. 127. №1. С. 44-46.
Михайлович А. В. О замкнутых классах трехзначной логики, порожденных симметрическими функциями // Вестн. Моск. ун-та. Матем. Механ. 2008. №4. С. 54-57.
Post E. L. The Two-Valued Iterative Systems of Mathematical Logic. Ann. Math. Studies. Princeton Univ. Press, 1941. 122 p.
Post E. L. Introduction to a general theory of elementary propositions // Am. J. Math. 1921. V. 43. No. 3. P. 163-185.
О классах функций трёхзначной логики, порождённых симметрическими функциями с ограниченным числом слоёв | Прикладная дискретная математика. 2015. № 1 (27).
Скачать полнотекстовую версию
Загружен, раз: 252