TY - RPRT TI - On syntactic concept lattice models for the Lambek calculus and infinitary action logic AU - Stepan L. Kuznetsov PY - 2025 UR - https://arxiv.org/abs/2510.24853 ID - 2510.24853 ER -