Negru, I. S. Identities and quasi-identities on lattices of congruences of finite semigroups. (Russian) Zbl 0659.20046 Mat. Issled. 98, 68-70 (1987). Reviewer: P.Normak MSC: 20M05 06B25 08A30 20M15 PDF BibTeX XML Cite \textit{I. S. Negru}, Mat. Issled. 98, 68--70 (1987; Zbl 0659.20046) Full Text: EuDML OpenURL
Ratsa, M. F. The main problems of expressibility of formulas in nonclassical logics. (Russian) Zbl 0652.03014 Mat. Issled. 98, 94-120 (1987). Reviewer: Z.Stachniak MSC: 03B55 03B20 03B45 PDF BibTeX XML Cite \textit{M. F. Ratsa}, Mat. Issled. 98, 94--120 (1987; Zbl 0652.03014) Full Text: EuDML OpenURL
Simonova, I. G. The separation property for provability intuitionistic calculus. (Russian) Zbl 0649.03008 Mat. Issled. 98, 121-133 (1987). Reviewer: Phan Dinh Diêu MSC: 03B20 PDF BibTeX XML Cite \textit{I. G. Simonova}, Mat. Issled. 98, 121--133 (1987; Zbl 0649.03008) Full Text: EuDML OpenURL
Kuznetsov, A. V. Algorithms, algebras and intuitionistic logic. (Russian) Zbl 0643.03040 Mat. Issled. 98, 10-14 (1987). Reviewer: G.Mints MSC: 03Fxx 03-03 01A60 PDF BibTeX XML Cite \textit{A. V. Kuznetsov}, Mat. Issled. 98, 10--14 (1987; Zbl 0643.03040) Full Text: EuDML OpenURL
Maksimova, L. L. Interpolation in normal modal logics. (Russian) Zbl 0643.03012 Mat. Issled. 98, 40-56 (1987). Reviewer: P.Materna MSC: 03B45 03C40 PDF BibTeX XML Cite \textit{L. L. Maksimova}, Mat. Issled. 98, 40--56 (1987; Zbl 0643.03012) Full Text: EuDML OpenURL
Kuznetsov, A. V.; Muravitskij, A. Yu. Superintuitionistic logics as fragments of extensions of the provability logic. (Russian) Zbl 0642.03016 Mat. Issled. 98, 15-39 (1987). Reviewer: O.Štěpánková MSC: 03B55 03B45 PDF BibTeX XML Cite \textit{A. V. Kuznetsov} and \textit{A. Yu. Muravitskij}, Mat. Issled. 98, 15--39 (1987; Zbl 0642.03016) Full Text: EuDML OpenURL
Ratsa, M. F. Completeness of systems of formulas in duality-chain logics. (Russian) Zbl 0639.03021 Mat. Issled. 98, 71-93 (1987). Reviewer: G.Mints MSC: 03B55 PDF BibTeX XML Cite \textit{M. F. Ratsa}, Mat. Issled. 98, 71--93 (1987; Zbl 0639.03021) Full Text: EuDML OpenURL
Malaj, V. P. Chain classes of section-monotone functions of the logic of the first Jaśkowski matrix. (Russian) Zbl 0638.03021 Mat. Issled. 98, 57-67 (1987). Reviewer: J.Cirulis MSC: 03B50 03B55 PDF BibTeX XML Cite \textit{V. P. Malaj}, Mat. Issled. 98, 57--67 (1987; Zbl 0638.03021) Full Text: EuDML OpenURL
Danil’chenko, A. F. Some properties of the lattice of parametrically closed classes of functions of the three-valued logic. (Russian) Zbl 0636.03015 Mat. Issled. 98, 3-9 (1987). Reviewer: A.S.Karpenko MSC: 03B50 PDF BibTeX XML Cite \textit{A. F. Danil'chenko}, Mat. Issled. 98, 3--9 (1987; Zbl 0636.03015) Full Text: EuDML OpenURL
Tsitkin, A. I. Structurally complete superintuitionistic logics and primitive varieties of pseudo-boolean algebras. (Russian) Zbl 0634.06005 Mat. Issled. 98, 134-151 (1987). Reviewer: V.Meskhi MSC: 06D20 03B55 03G10 PDF BibTeX XML Cite \textit{A. I. Tsitkin}, Mat. Issled. 98, 134--151 (1987; Zbl 0634.06005) Full Text: EuDML OpenURL