On bases of all closed classes of Boolean vector functions

References

[1] Yablonskiy S. V., Introduction to Discrete Mathematics, M.: Vysshaya shkola, 2003 (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. on logic and Computer Science, 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.Search 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.Search 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.Search 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).Search in Google Scholar

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

[12] Romov B.A., “The completness problem on the product of algebras of finite-valued logic”, Proc. 24th Int. Symposium on Multiple-Valued Logic, IEEE, Boston, 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.Search 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.Search in Google Scholar

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

[17] Taimanov V.A., “On bases of closed classes of Boolean vector functions”, Discrete Math. Appl., 30:4 (2020), 273–283.Search in Google Scholar

[18] 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

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

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

[21] Yanov Yu.I., Muchnik A.A., “The existence of fc-valued closed classes not having a finite basis”, Dokl. ANSSSR, 127:1 (1959), 44–46 (in Russian).Search in Google Scholar