2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2011★ 1 cited
Focalization and phase models for classical extensions of non-associative Lambek calculus
Arno Bastenhof
Lambek's non-associative syntactic calculus (NL) excels in its resource consciousness: the usual structural rules for weakening, contraction, exchange and even associativity are al…
cs.CL2011
Polarized Montagovian Semantics for the Lambek-Grishin calculus
Arno Bastenhof
Grishin proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat, who spoke of the Lambe…
cs.CL2010★ 2 cited
Tableaux for the Lambek-Grishin calculus
Arno Bastenhof
Categorial type logics, pioneered by Lambek, seek a proof-theoretic understanding of natural language syntax by identifying categories with formulas and derivations with proofs. We…