Orevkov, V. P. Upper and lower bounds for the height of proofs in sequent calculus for intuitionistic logic. (English. Russian original) Zbl 07798386 J. Math. Sci., New York 275, No. 2, 195-224 (2023); translation from Zap. Nauchn. Semin. POMI 497, 124-169 (2020). MSC: 03Fxx 03-XX 03Bxx PDFBibTeX XMLCite \textit{V. P. Orevkov}, J. Math. Sci., New York 275, No. 2, 195--224 (2023; Zbl 07798386); translation from Zap. Nauchn. Semin. POMI 497, 124--169 (2020) Full Text: DOI
Fiori-Carones, M. Variations of statement, variations of strength. The case of the Rival-Sands theorems. (English) Zbl 07798371 J. Math. Sci., New York 275, No. 1, 1-15 (2023). MSC: 03Dxx 03Fxx 03Bxx PDFBibTeX XMLCite \textit{M. Fiori-Carones}, J. Math. Sci., New York 275, No. 1, 1--15 (2023; Zbl 07798371) Full Text: DOI
Pentus, A. E.; Pentus, M. R. Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07659854 J. Math. Sci., New York 269, No. 4, 544-557 (2023); translation from Fundam. Prikl. Mat. 23, No. 4, 143-162 (2021). MSC: 03Bxx 03Fxx 68Qxx PDFBibTeX XMLCite \textit{A. E. Pentus} and \textit{M. R. Pentus}, J. Math. Sci., New York 269, No. 4, 544--557 (2023; Zbl 07659854); translation from Fundam. Prikl. Mat. 23, No. 4, 143--162 (2021) Full Text: DOI
Pentus, A. E.; Pentus, M. R. Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07538686 J. Math. Sci., New York 262, No. 5, 759-766 (2022); translation from Fundam. Prikl. Mat. 23, No. 2, 247-257 (2020). MSC: 03Bxx 03Fxx 68Qxx PDFBibTeX XMLCite \textit{A. E. Pentus} and \textit{M. R. Pentus}, J. Math. Sci., New York 262, No. 5, 759--766 (2022; Zbl 07538686); translation from Fundam. Prikl. Mat. 23, No. 2, 247--257 (2020) Full Text: DOI arXiv
Dantsin, E. Ya. (ed.); Orevkov, V. P. (ed.) Constructive mathematics and mathematical logic. Part X. Transl. from the Russian. (English) Zbl 0944.00012 J. Math. Sci., New York 98, No. 4, 427-507 (2000). MSC: 00B15 03-06 PDFBibTeX XML Full Text: Link
Dantsin, E. Ya. (ed.); Orevkov, V. P. (ed.) Studies in constructive mathematics and mathematical logic. Part IX. (English) Zbl 0924.00002 J. Math. Sci., New York 87, No. 1, 3183-3266 (1997). MSC: 00B15 03-06 PDFBibTeX XMLCite \textit{E. Ya. Dantsin} (ed.) and \textit{V. P. Orevkov} (ed.), J. Math. Sci., New York 87, No. 1, 3183--3266 (1997; Zbl 0924.00002) Full Text: DOI
Shanin, N. A. Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics. (English. Russian original) Zbl 0934.03076 J. Math. Sci., New York 87, No. 1, 3183-3191 (1997); translation from Zap. Nauchn. Semin. POMI 220, 5-22 (1995). MSC: 03F50 03-03 01A55 03F65 03F60 26E40 PDFBibTeX XMLCite \textit{N. A. Shanin}, J. Math. Sci., New York 87, No. 1, 1 (1995; Zbl 0934.03076); translation from Zap. Nauchn. Semin. POMI 220, 5--22 (1995) Full Text: DOI EuDML
Lisovik, L. P. Properties of \(\Delta\)-functions. (English. Russian original) Zbl 0835.03027 J. Math. Sci., New York 69, No. 6, 1472-1475 (1994); translation from Vychisl. Prikl. Mat., Kiev 68, 129-136 (1989). MSC: 03F60 46S30 68Q05 26E40 PDFBibTeX XMLCite \textit{L. P. Lisovik}, J. Math. Sci., New York 69, No. 6, 1472--1475 (1994; Zbl 0835.03027); translation from Vychisl. Prikl. Mat., Kiev 68, 129--136 (1989) Full Text: DOI