journal.isu.ru

Начальная страница

Конечная страница

УДК

Раздел
     

Файл
Скачать Изменить файл

Название RU

Авторы RU

Аннотация RU
<p>Рассматривается действие оператора замыкания с разветвлением по предикату равенства (<em>E</em>-оператор) для множества гиперфункций на двухэлементном множестве.</p> <p>По отношению к этому оператору строятся полные множества гиперфункций. Показывается, что число предполных множеств равно четырем, формулируется и<br /> доказывается критерий функциональной полноты.</p> <p>На множестве рассматриваемых гиперфункций вводится отношение эквивалентности, соответствующее принадлежности гиперфункций к <em>E</em>-предполным множествам. Показано, что множество всех гиперфункций разбивается на 14 классов эквивалентности.</p> <p>Среди полных множеств выделяются минимальные полные множества — базисы. Показано, что существуют базисы мощности 1, 2, 3 и не существует базисов большей мощности. Для базиса мощности 1 есть только один тип — функция из базиса не принадлежит ни одному из предполных множеств. Для базиса мощности 2 имеется 23 различных типа, для базиса мощности 3 имеется 11 различных типов.</p>

Ключевые слова RU

Литература RU
1. Казимиров А. С. Классификация и перечисление базисов клона всех гиперфункций ранга 2 / А. С. Казимиров, В. И. Пантелеев, Л. В. Токарева // Изв. Иркут. гос. ун-та. Сер. Математика. – 2014. – Т. 7. – С. 61–78. 2. Ло Джукай. Максимальные замкнутые классы в множестве частичныхфункций многозначной логики / Ло Джукай // Кибернетический сборник. Новая серия. – М. : Мир, 1988. – Вып. 25. – С. 131–141. 3. Ло Джукай. Теория полноты для частичных функций многозначной логики / Ло Джукай // Кибернетический сборник. Новая серия. – М. : Мир, 1988. – Вып. 25. С. 142–157. 4. Марченков С. С. Операторы замыкания с разветвлением по предикату / С. С. Марченков // Вестн. МГУ, Сер. 1, Математика и механика. – 2003. – № 6. – С. 37–39. 5. Марченков С. С. Оператор замыкания с разветвлением по предикату равенства на множестве частичных булевых функций / С. С.Марченков // Дискрет. математика. – 2008. – Т. 20. – Вып. 6. – С. 80–88. 6. Марченков С. С. Оператор E-замыкания на множестве частичных функций многозначной логики /С. С. Марченков // Математические вопросы кибернетики. – М. : Физматлит, 2013. – Т. 19. – С. 227–238. 7. Тарасов В. В. Критерий полноты для не всюду определенных функций алгебры логики / В. В. Тарасов // Проблемы кибернетики. – М. : Наука, 1975. – Вып. 30. – С. 319–325. 8. Яблонский С. В. О суперпозициях функций алгебры логики / С. В. Яблонский // Мат. сб. – 1952. – Т. 30, № 2(72). – С. 329–348. 9. Classification and basis enumerations in many-valued logics / M. Miyakawa, I. Stojmenovi´c, D. Lau, I. Rosenberg // Proc. 17th International Symposium on Multi-Valued logic. – Boston, 1987. – P. 151–160. 10. Krni´c L. Types of bases in the algebra of logic / L. Krni´c // Glasnik matematickofizicki i astronomski. Ser 2. – 1965. – Vol. 20. – P. 23–32. 11. Lau D. Classification and enumerations of bases in Pk(2)/ D. Lau, M.Miyakawa // Asian-European Journal of Mathematics. – 2008. – Vol. 01, N 02. – P. 255–282. 12. Lau D. Function algebras on finite sets. A basic course on many-valued logic and clone theory. – Berlin : Springer-Verlag. 2006. 668 p. 13. Machida H. Hyperclones on a two-element set // Multiple-Valued Logic. An International Journal. – 2002. – N 8(4). – P. 495–501. 14. Machida H. On maximal hyperclones on {0, 1} – a new approach / H. Machida, J. Pantovic // Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008). – 2008. – P. 32–37. 15. Romov B. A. Hyperclones on a finite set / B. A. Romov / Multiple-Valued Logic. An International Journal. – 1998. – Vol. 3, N 2. – P. 285–300.

Название EN

Авторы EN

Аннотация EN
<p>In this work we consider the closure operator with the equality predicate branching (<em>E</em>-operator) on the set of hyperfunctions on two-element set.</p> <p>With respect to this operator closed classes of hyperfunctions are generated. We show that there are four submaximal classes and prove the criterion of functional completeness.</p> <p>The relation of equivalence is considered on the set of hyperfunctions obtained by their membership in <em>E</em>-submaximal classes. All hyperfunctions are divided into 14 equivalence classes.</p> <p>In closed sets the minimal closed subsets named basis are derived. We show that basis of hyperfunctions can have cardinality from 1 to 3 and there is no basis with cardinality more than 3. There is only one kind of basis with cardinality 1. The function from that basis does not belong to any of four E-submaximal classes. We obtain 23 kind of basis with cardinality 2 and 11 with cardinality 3.</p>

Ключевые слова EN

Литература EN
1. Kazimirov A.S., Panteleyev V.I., Tokareva L.V. Classification and Enumeration of Bases in Clone of All Hyperfunctions on Two-Elements Set (in Russian). IIGU Ser. Matematika, 2014, vol. 7, pp. 61–78. 2. Lo Czu Kai. Maximal closed classes on the Set of Partial Many-valued Logic Functions (in Russian). Kiberneticheskiy Sbornik, Moscow, Mir, 1988, vol. 25, pp. 131–141. 3. Lo Czu Kai. Completeness theory on Partial Many-valued Logic Functions (in Russian). Kiberneticheskiy Sbornik, Moscow, Mir, 1988, vol. 25, pp. 142–157. 4. Marchenkov S.S. Closure Operators with Predicate Branching (in Russian). Vestnik Moskov. Univ. Ser. I Mat. Mekh, 2003, no. 6, pp. 37–39. 5. Marchenkov S.S. The Closure Operator With the Equality Predicate Branching on the Set of Partial Boolean Functions (in Russian). Discrete Mathematics, 2008, vol. 20, no. 3, pp. 80–88. 6. Marchenkov S.S. The E-closure Operator on the Set of Partial Many-valued Logic Functions (in Russian). Matematicheskie voprosy kibernetiki, Moscow, Fizmatlit, 2013, vol. 19, pp. 227–238. 7. Tarasov V.V. Completeness Criterion for Partial Logic Functions (in Russian). Problemy Kibernetiki, Moscow, Nauka, 1975, vol. 30, pp. 319–325. 8. Yablonskij S.V. On the Superpositions of Logic Functions (in Russian). Mat. Sbornik, 1952, vol. 30, no. 2(72), pp. 329–348. 9. Miyakawa M., Stojmenovi´c I., Lau D., Rosenberg I. Classification and Basis Enumerations in Many-Valued Logics. Proc. 17th International Symposium on Multi-Valued Logic, Boston, 1987, pp. 151–160. 10. Krni´c L. Types of Bases in the Algebra of Logic. Glasnik matematicko-fizicki i astronomski. Ser 2, 1965, vol. 20, pp. 23–32. 11. Lau D., Miyakawa M. Classification and Enumerations of Bases in Pk(2). Asian-European Journal of Mathematics, 2008, vol. 1, no. 2, pp. 255–282. 12. Lau D. Function algebras on finite sets. A basic course on many-valued logic and clone theory. Berlin: Springer-Verlag, 2006, 668 p. 13. Machida H. Hyperclones on a Two-Element Set. Multiple-Valued Logic. An International Journal, 2002, no. 8(4), pp. 495–501. 14. Machida H., Pantovic J. On Maximal Hyperclones on {0, 1} — a new approach. Proceedings of 38th IEEE International Symposium on Multiple- Valued Logic (ISMVL 2008), 2008, pp. 32–37. 15. Romov B. A. Hyperclones on a Finite Set. Multiple-Valued Logic. An International Journal, 1998, vol.3(2), pp. 285–300.