On bases of closed classes of Boolean vector functions

References

[1] Yablonskiy S. V., Introduction to Discrete Mathematics, Nauka, Moscow, 1986 (in Russian), 384 pp.Search in Google Scholar

[2] Malcev I., “Graduated products of Post algebras”, Note on multiple-valued logic, 18:13 (1995), 1–4.Search in Google Scholar

[3] Malcev I., “Coordinated products of iterative algebras”, Proc. VIII Int. Conf. Logic and Comput. Sci., Novi Sad, Yugoslavia, 1997, 1–2.Search in Google Scholar

[4] Marchenkov S. S., “On the completeness in the system P₃ × P₃”, Discrete Math. Appl., 2:6 (1992), 587–606.10.1515/dma.1992.2.6.587Search in Google Scholar

[5] Marchenkov S. S., “On the Slupecki classes in the systems P_k × … × P_l”, Discrete Math. Appl., 3:2 (1993), 147–160.10.1515/dma.1993.3.2.147Search in Google Scholar

[6] Marchenkov S. S., “On precomplete classes in Cartesian products of P₂ and P₃”, Discrete Math. Appl., 4:3 (1994), 209–228.10.1515/dma.1994.4.3.209Search in Google Scholar

[7] Romov B.A., “An algorithm for solving the completeness problem in the class of vector functional systems”, Matematicheskie Modeli Slozhnych Sistem, IK AN USSR, Kiev, 1973, 151–155 (in Russian).Search in Google Scholar

[8] Romov B.A., “On the lattice of subalgebras of direct products of Post algebras of finite degree”, Matematicheskie Modeli Slozhnych Sistem, IK AN USSR, Kiev, 1973, 156–168 (in Russian).Search in Google Scholar

[9] Romov B.A., “On completeness on the square of functions of the algebra logic and in systems P_k × P_l”, Kibernetika, 1987, №4, 9–14 (in Russian).Search in Google Scholar

[10] Romov B.A., “On a series of maximal subalgebras of direct products algebras of finite-valued logics”, Kibernetika, 1989, №3, 11–16 (in Russian).10.1007/BF01069983Search in Google Scholar

[11] Romov B.A., “On functional completeness in the system P₂ × P_k”, Kibernetika, 1991, №1, 1–8 (in Russian).10.1007/BF01068640Search in Google Scholar

[12] Romov B.A., “The completness problem on the product of algebras of finite-valued logic”, Int. Symp. Multiple-Valued Logic, Boston, USA, 1994, 184–186.Search in Google Scholar

[13] Taimanov V.A., “On Cartesian powers of P₂”, Int. Conf. Fund. Comput. Theor., Lect. Notes Comput. Sci., 278, 1984, 435–435.10.1007/3-540-18740-5_96Search in Google Scholar

[14] Taimanov V.A., “On the bases of closed classes in P_k × P_m”, Tezisy dokl. VIII Vsesoyuzn. konf. “Problemy teoreticheskoy kibernetiki”, Irkutsk, 1985, 188–189 (in Russian).Search in Google Scholar

[15] Taimanov V.A., “On bases of closed classes of vector functions of many-valued logic”, Discrete Math. Appl., 27:2 (2017), 117–121.10.1515/dma-2017-0014Search in Google Scholar

[16] Taimanov V.A., “On some properties of vector functions of Boolean algebra”, Discrete Math. Appl., 29:2 (2019), 131–141.10.1515/dma-2019-0012Search in Google Scholar

[17] Yablonskiy S.V., Gavrilov G.P., Kudryavtsev V.B., Logic algebra functions and Post classes, Nauka, Moscow, 1966 (in Russian), 120 pp.Search in Google Scholar

[18] Post E.L., “Introduction to a general theory of elementary propositions”, Amer. J. Math., 43 (1921), 163–185.10.2307/2370324Search in Google Scholar

[19] Post E.L., Two-valued iterative systems of mathematical logic, Princeton Univ. Press, Princeton, 1941, 122 pp.10.1515/9781400882366Search in Google Scholar

[20] Markov A.A., Introduction to coding theory, M.: Nauka, 1982 (in Russian), 192 pp.Search in Google Scholar

[21] Dickson L.E., “Finitness of the odd perfect and primitive abundant numbers with n distinct prime factors”, Amer. J. Math., 35 (1913), 413–422.10.2307/2370405Search in Google Scholar