On syntactic concept lattice models for the Lambek calculus and infinitary action logic

Stepan L. Kuznetsov

The linguistic applications of the Lambek calculus suggest its semantics over algebras of formal languages. A straightforward approach to construct such semantics indeed yields a b…