Rybakov, Mikhail Nikolaevich A simple example of blocking the Craig trick. (Russian. English summary) Zbl 07793831 Log. Issled. 29, No. 2, 36-58 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{M. N. Rybakov}, Log. Issled. 29, No. 2, 36--58 (2023; Zbl 07793831) Full Text: DOI
Kuznetsov, S. L.; Ryzhkova, N. S. A restricted fragment of the Lambek calculus with iteration and intersection operations. (English. Russian original) Zbl 1485.03053 Algebra Logic 59, No. 2, 129-146 (2020); translation from Algebra Logika 59, No. 2, 190-214 (2020). MSC: 03B47 03G25 03F52 PDFBibTeX XMLCite \textit{S. L. Kuznetsov} and \textit{N. S. Ryzhkova}, Algebra Logic 59, No. 2, 129--146 (2020; Zbl 1485.03053); translation from Algebra Logika 59, No. 2, 190--214 (2020) Full Text: DOI