KIAM Main page Web Library  •  Publication Searh  Русский 

Article collection "Mathematical Problems of Cybernetics" №21, Moscow, 2023
Authors: Marchenkov S.S.
The implicatively implicit bases in implicatively closed classes of three-valued logic
It is proved that for any k ≥ 3, any implicatively implicit extension in Pk contains a class of Hk homogeneous functions. In each of the 17 implicatively closed classes in P3, an implicatively implicitly generating system of functions is constructed. With the exception of the H3 class, each of the systems consists of one or two no more than two-place functions. A one-place function is specified, the implicatively implicit extension of which is different from any implicatively closed class in P3.
implicatively implicit basis, implicatively closed class, three-valued logic
Publication language: russian,  pages: 12 (p. 156-167)
Research direction:
Mathematical problems and theory of numerical methods
Russian source text:
Export link to publication in format:   RIS    BibTeX
About authors:
  • Marchenkov Sergey Seraphimovich, Moscow State University