EN|RU
English version: Journal of Applied and Industrial Mathematics, 2018, 12:4, 678–683 |
![]() |
Volume 25, No 4, 2018, P. 46-58 UDC 519.716
Keywords: positive closure operator, parametric closure operator. DOI: 10.17377/daio.2018.25.605 Sergey S. Marchenkov 1 Received 22 December 2017 References[1] A. F. Danil’chenko, On parametric expressibility of three-valued logic functions, Algebra Logika, 16, No. 4, 397–416, 1977 [Russian].[2] A. V. Kuznetsov, On the tools for detection of nondeducibility and nonexpressibility, Logical Inference, pp. 5–33, Nauka, Moscow, 1979 [Russian]. [3] S. S. Marchenkov, On expressibility of functions of many-valued logic in some logical-functional languages, Diskretn. Mat., 11, No. 4, 110–126, 1999 [Russian]. Translated in Discrete Math. Appl., 9, No. 6, 563–581, 1999. [4] S. S. Marchenkov, Definition of positively closed classes by endomorphism semigroups, Diskretn. Mat., 24, No. 4, 19–26, 2012 [Russian]. Translated in Discrete Math. Appl., 22, No. 5–6, 511–520, 2012. [5] S. S. Marchenkov, On the extensions of parametric closure operator by means of logical connectives, Izv. Vyssh. Uchebn. Zaved., Povolzh. Reg., Fiz.- Mat. Nauki, No. 1, 22–31, 2017 [Russian]. [6] S. Barris, Primitive positive clones which are endomorphism clones, Algebra Univers., 24, 41–49, 1987. [7] S. Barris and R. Willard, Finitely many primitive positive clones, Proc. Amer. Math. Soc., 101, No. 3, 427–430, 1987. [8] A. F. Danil’chenko, On parametrical expressibility of the functions of $k$-valued logic, Colloq. Math. Soc. János Bolyai, 28, 147–159, 1981. [9] M. Hermann, On Boolean primitive positive clones, Discrete Math., 308, 3151–3162, 2008. [10] J. W. Snow, Generating primitive positive clones, Algebra Univers., 44, 169–185, 2000. [11] L. Szabó, On the lattice of clones acting bicentrally, Acta Cybern., No. 6, 381–388, 1984. |
|
![]() |
|
© Sobolev Institute of Mathematics, 2015 | |
![]() |
|