Inductive representations of Boolean functions and the finite generation of the post classes G. P. Gavrilov OriginalPaper Pages: 1 - 19
Varieties of ℓ-groups with the identity 20-120-120-1have finite bases S. A. Gurchenkov OriginalPaper Pages: 20 - 35
Number of prelocally table superintuitionistic propositional logics S. I. Mardaev OriginalPaper Pages: 56 - 66
Existence of finite bases in closed classes of Boolean functions S. S. Marchenkov OriginalPaper Pages: 66 - 74
Decidability of the admissibility problem in layer-finite logics V. V. Rybakov OriginalPaper Pages: 75 - 87