Khisamiev, N. G. Constructive Abelian \(p\)-groups. (English. Russian original) Zbl 0745.20049 Sov. Math., Dokl. 42, No. 1, 225-228 (1991); translation from Dokl. Akad. Nauk SSSR 313, No. 6, 1365-1368 (1990). Reviewer: S.R.Kogalovskij (Ivanovo) MSC: 20K10 20F10 03D45 03C15 PDFBibTeX XMLCite \textit{N. G. Khisamiev}, Sov. Math., Dokl. 42, No. 1, 225--228 (1990; Zbl 0745.20049); translation from Dokl. Akad. Nauk SSSR 313, No. 6, 1365--1368 (1990)
Zamov, N. K. The resolution method without Skolemization. (English. Russian original) Zbl 0637.03011 Sov. Math., Dokl. 35, 399-401 (1987); translation from Dokl. Akad. Nauk SSSR 293, 1046-1049 (1987). Reviewer: N.Curteanu MSC: 03B35 03B10 68T15 PDFBibTeX XMLCite \textit{N. K. Zamov}, Sov. Math., Dokl. 35, 399--401 (1987; Zbl 0637.03011); translation from Dokl. Akad. Nauk SSSR 293, 1046--1049 (1987)
Artemov, S. N. Superintuitionistic logics having a provability interpretation. (English. Russian original) Zbl 0632.03023 Sov. Math., Dokl. 34, 596-598 (1987); translation from Dokl. Akad. Nauk SSSR 291, 1289-1291 (1986). MSC: 03B55 03B45 03F30 PDFBibTeX XMLCite \textit{S. N. Artemov}, Sov. Math., Dokl. 34, 596--598 (1987; Zbl 0632.03023); translation from Dokl. Akad. Nauk SSSR 291, 1289--1291 (1986)
Artemov, S. N. Numerically correct provability logics. (English. Russian original) Zbl 0621.03038 Sov. Math., Dokl. 34, 384-387 (1987); translation from Dokl. Akad. Nauk SSSR 290, 1289-1292 (1986). MSC: 03F30 03F07 03B45 PDFBibTeX XMLCite \textit{S. N. Artemov}, Sov. Math., Dokl. 34, 384--387 (1987; Zbl 0621.03038); translation from Dokl. Akad. Nauk SSSR 290, 1289--1292 (1986)
Vardanyan, V. A. Arithmetic complexity of predicate logics of provability and their fragments. (English. Russian original) Zbl 0623.03022 Sov. Math., Dokl. 33, 596-572 (1986); translation from Dokl. Akad. Nauk SSSR 288, 11-14 (1986). Reviewer: S.Artemov MSC: 03B45 03F30 03F07 PDFBibTeX XMLCite \textit{V. A. Vardanyan}, Sov. Math., Dokl. 33, 596--572 (1986; Zbl 0623.03022); translation from Dokl. Akad. Nauk SSSR 288, 11--14 (1986)
Artemov, S. N. Nonarithmeticity of truth predicate logics of provability. (English. Russian original) Zbl 0605.03007 Sov. Math., Dokl. 32, 403-405 (1985); translation from Dokl. Akad. Nauk SSSR 284, 270-271 (1985). MSC: 03B45 03F30 03C35 PDFBibTeX XMLCite \textit{S. N. Artemov}, Sov. Math., Dokl. 32, 403--405 (1985; Zbl 0605.03007); translation from Dokl. Akad. Nauk SSSR 284, 270--271 (1985)
Shum, A. A. Relative varieties of algebraic systems, and propositional calculi. (English. Russian original) Zbl 0588.08005 Sov. Math., Dokl. 31, 492-495 (1985); translation from Dokl. Akad. Nauk SSSR 282, 538-541 (1985). Reviewer: O.V.Belegradek MSC: 08B10 03B05 03B10 08C15 PDFBibTeX XMLCite \textit{A. A. Shum}, Sov. Math., Dokl. 31, 492--495 (1985; Zbl 0588.08005); translation from Dokl. Akad. Nauk SSSR 282, 538--541 (1985)
Kuzichev, A. A. On the representation of arithmetic in combinatorial systems. (English. Russian original) Zbl 0587.03012 Sov. Math., Dokl. 30, 417-421 (1984); translation from Dokl. Akad. Nauk SSSR 278, 537-541 (1984). MSC: 03B40 03F30 PDFBibTeX XMLCite \textit{A. A. Kuzichev}, Sov. Math., Dokl. 30, 417--421 (1984; Zbl 0587.03012); translation from Dokl. Akad. Nauk SSSR 278, 537--541 (1984)
Kuzichev, A. S. Arithmetically consistent \(\lambda\)-theories of type-free logic. (English. Russian original) Zbl 0552.03010 Sov. Math., Dokl. 27, 72-77 (1983); translation from Dokl. Akad. Nauk SSSR 268, 288-292 (1983). MSC: 03B40 03F05 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 27, 72--77 (1983; Zbl 0552.03010); translation from Dokl. Akad. Nauk SSSR 268, 288--292 (1983)
Semenova, A. L. On the definability of arithmetic in its fragments. (English. Russian original) Zbl 0515.03014 Sov. Math., Dokl. 25, 300-303 (1982); translation from Dokl. Akad. Nauk SSSR 263, 44-47 (1982). MSC: 03C40 11U99 PDFBibTeX XMLCite \textit{A. L. Semenova}, Sov. Math., Dokl. 25, 300--303 (1982; Zbl 0515.03014); translation from Dokl. Akad. Nauk SSSR 263, 44--47 (1982)
Kuzichev, A. A.; Kuzichev, A. S. On the imbedding of formal arithmetic in combinatorially complete systems. (English. Russian original) Zbl 0452.03007 Sov. Math., Dokl. 21, 311-316 (1980); translation from Dokl. Akad. Nauk SSSR 250, 1310-1315 (1980). MSC: 03B40 03F30 PDFBibTeX XMLCite \textit{A. A. Kuzichev} and \textit{A. S. Kuzichev}, Sov. Math., Dokl. 21, 311--316 (1980; Zbl 0452.03007); translation from Dokl. Akad. Nauk SSSR 250, 1310--1315 (1980)
Kuznetsov, A. V.; Ratsa, M. F. A criterion for functional completeness in classical first-order predicate logic. (English. Russian original) Zbl 0443.03007 Sov. Math., Dokl. 20, 1305-1309 (1979); translation from Dokl. Akad. Nauk SSSR 249, 540-544 (1979). MSC: 03B10 03B25 PDFBibTeX XMLCite \textit{A. V. Kuznetsov} and \textit{M. F. Ratsa}, Sov. Math., Dokl. 20, 1305--1309 (1979; Zbl 0443.03007); translation from Dokl. Akad. Nauk SSSR 249, 540--544 (1979)
Kuzichev, A. S. On the consistency of formal arithmetic. (English. Russian original) Zbl 0436.03007 Sov. Math., Dokl. 19, 1486-1490 (1978); translation from Dokl. Akad. Nauk SSSR 243, 1123-1126 (1978). MSC: 03B40 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 19, 1486--1490 (1978; Zbl 0436.03007); translation from Dokl. Akad. Nauk SSSR 243, 1123--1126 (1978)
Kuzichev, A. S. The theorem on the midsequent in the \(\mathcal A\)-system of \(\lambda\)- conversion. (English. Russian original) Zbl 0436.03006 Sov. Math., Dokl. 19, 1305-1308 (1978); translation from Dokl. Akad. Nauk SSSR 243, 19-21 (1978). MSC: 03B40 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 19, 1305--1308 (1978; Zbl 0436.03006); translation from Dokl. Akad. Nauk SSSR 243, 19--21 (1978)
Kuzichev, A. S. A theorem on the consistency of formal arithmetic. (English. Russian original) Zbl 0395.03011 Sov. Math., Dokl. 19, 30-33 (1978); translation from Dokl. Akad. Nauk SSSR 238, 269-272 (1978). MSC: 03B40 03B10 03F99 03F05 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 19, 30--33 (1978; Zbl 0395.03011); translation from Dokl. Akad. Nauk SSSR 238, 269--272 (1978)
Kuzichev, A. S. Formal arithmetic in the \(\mathcal A\)-system of \(\lambda\)-conversion. (English. Russian original) Zbl 0395.03010 Sov. Math., Dokl. 18(1977), 1327-1330 (1978); translation from Dokl. Akad. Nauk SSSR 236, 1072-1075 (1977). MSC: 03B40 03B10 03F05 03F99 03F30 11U99 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 18, 1327--1330 (1977; Zbl 0395.03010); translation from Dokl. Akad. Nauk SSSR 236, 1072--1075 (1977)
Kuzichev, A. S. A system of \(\lambda\)-conversion with logical operators and an equality operator. (English. Russian original) Zbl 0395.03009 Sov. Math., Dokl. 18(1977), 1268-1272 (1978); translation from Dokl. Akad. Nauk SSSR 236, 796-799 (1977). MSC: 03B40 03B10 03C35 03F05 03F99 11U99 03F30 PDFBibTeX XMLCite \textit{A. S. Kuzichev}, Sov. Math., Dokl. 18, 1268--1272 (1977; Zbl 0395.03009); translation from Dokl. Akad. Nauk SSSR 236, 796--799 (1977)
Markov, A. A. On the completeness of the classical predicate calculus in constructive mathematical logic. (English. Russian original) Zbl 0306.02046 Sov. Math., Dokl. 15, 476-481 (1974); translation from Dokl. Akad. Nauk SSSR 215, 266-269 (1974). MSC: 03C35 03B10 03F99 PDFBibTeX XMLCite \textit{A. A. Markov}, Sov. Math., Dokl. 15, 476--481 (1974; Zbl 0306.02046); translation from Dokl. Akad. Nauk SSSR 215, 266--269 (1974)
Sevjakov, V. S. Formulas of the restricted predicate calculus which distinguish certain classes of models with simply computable predicates. (English. Russian original) Zbl 0329.02004 Sov. Math., Dokl. 14, 743-745 (1973); translation from Dokl. Akad. Nauk SSSR 210, 285-287 (1973). MSC: 03B10 03C68 03D05 PDFBibTeX XMLCite \textit{V. S. Sevjakov}, Sov. Math., Dokl. 14, 743--745 (1973; Zbl 0329.02004); translation from Dokl. Akad. Nauk SSSR 210, 285--287 (1973)
Durnev, V. G. Positive theory of a free semigroup. (English. Russian original) Zbl 0295.20002 Sov. Math., Dokl. 14, 1100-1103 (1973); translation from Dokl. Akad. Nauk SSSR 211, 772-774 (1973). MSC: 20A10 20M05 03B10 PDFBibTeX XMLCite \textit{V. G. Durnev}, Sov. Math., Dokl. 14, 1100--1103 (1973; Zbl 0295.20002); translation from Dokl. Akad. Nauk SSSR 211, 772--774 (1973)
Plisko, V. E. On realizable predicative formulas. (English. Russian original) Zbl 0295.02009 Sov. Math., Dokl. 14, 1420-1424 (1973); translation from Dokl. Akad. Nauk SSSR 212, 553-556 (1973). MSC: 03B10 03F55 03B55 03B25 PDFBibTeX XMLCite \textit{V. E. Plisko}, Sov. Math., Dokl. 14, 1420--1424 (1973; Zbl 0295.02009); translation from Dokl. Akad. Nauk SSSR 212, 553--556 (1973)
Chudnovskij, G. V. Some results in the theory of infinitely long expressions. (English. Russian original) Zbl 0315.02016 Sov. Math., Dokl. 9, 556-559 (1968); translation from Dokl. Akad. Nauk SSSR 179, 1286-1288 (1968). MSC: 03C75 03C68 03C99 08C10 PDFBibTeX XMLCite \textit{G. V. Chudnovskij}, Sov. Math., Dokl. 9, 556--559 (1968; Zbl 0315.02016); translation from Dokl. Akad. Nauk SSSR 179, 1286--1288 (1968)