$(x_1\ne \tau)\& \dots \& (x_{\mu}\ne \tau)\& ((x_1\& \dots \& x_{\mu +1})\ne \tau)$;

$(x_1\ne \tau)\& \dots \& (x_{\mu}\ne \tau)\& ((x_1 \vee \dots \veex_{\mu +1})\ne \tau)$;

$(x_1 \ne \tau)\& ((x_1 \vee \dots \vee x_{\mu +1})\ne \tau)\&(\neg x_2=\dots =\neg x_{\mu +1})$;

$((x_1\vee \dots \vee x_{\mu+1})\ne \tau)\& (\neg x_1=\dots =\neg x_{\mu +1})$ \ on the set $\{0,\tau, 1\}$, where $\mu = 1,2,\dots$. Let $J^{\infty}_i = J^1_i\cap J^2_i \cap \dots$ $(i=1,\dots, 4)$. Then the systems $J^{\infty}_1,\dots ,J^{\infty}_4$ \ are the only classically complete chain and completive ones in the set of all the pseudo-Boolean functions. In the paper it is proved that these systems have a finite basis. Some examples of bases are presented.

- On polytopes with regular faces in the Lobachesvkij space. (Russian)
- On the cardinality of formula bases and absence of finite approximation with respect to completeness in propositional provability logic. (Russian)
**Description of classically complete chain systems of pseudo-Boolean functions. (Russian)**- Fibre partitions of the Lobachevskij space by limit regular polytopes. (Russian)
- Regular and strongly regular rings with respect to a right ideal. (Russian)
- On a property of groups of type $G^\#$. (Russian)
- Nilpotent linear extensions of minimal groups of transformations. (Russian)
- Topological classification of quadratic systems with a unique third-order singular point. (English)
- On the extension of a pseudonorm of a ring to its field of quotients. (Russian)
- On a family of generalized Hermitian splines. (Russian)
- Waiting for an ape to type a poem. (English)
- Lattices of submodules and Galois connections. (English)
- Centre and multiplication groups of quasigroups. (English)
- Finite projection, reversibility and queueing systems. (English)