an:05005220
Zbl 1084.03019
Ugol'nikov, A. B.
Complexity of formula realization of a sequence of 4-valued logic functions
RU EN
Vestn. Mosk. Univ., Ser. I 2004, No. 3, 52-55 (2004); translation in Mosc. Univ. Math. Bull. 59, No. 3, 41-44 (2004).
00122735
2004
j
03B50
many-valued logic functions; double exponential growth
The author presents an example of a sequence of 4-valued logic functions whose complexity in the class of formulas over an incomplete finite system has double exponential growth in the number of variables. Earlier, the author showed that such effect is not possible in two-valued logic [\textit{A. B. Ugol'nikov}, Sov. Math., Dokl. 37, No. 1, 287--290 (1988); translation from Dokl. Akad. Nauk SSSR 298, No. 6, 1341--1344 (1988; Zbl 0683.03011)].
V.~G.~Miladzhanov (Andizhan)
Zbl 0683.03011