2 citations to https://www.mathnet.ru/rus/ic2

1. Stepan L. Kuznetsov, “Syntactic concept lattice models for infinitary action logic”, Lecture Notes in Comput. Sci., 14672 (2024), 93–107    
2. Stepan L. Kuznetsov, “Relational models for the Lambek calculus with intersection and unit”, Lecture Notes in Comput. Sci., 13027 (2021), 258–274