Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
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…
cs.LO2024
Conjunctive categorial grammars and Lambek grammars with additives
Stepan L. Kuznetsov, Alexander Okhotin
A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way h…