Lecture Notes in Computer Science
The Logic of Categorial Grammars
Lecture Notes in Computer Science
The Logic of Categorial Grammars
The papers are organized in topical sections on AB grammars, Lambek's syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.
Bezorgen: Zodra beschikbaar
The papers are organized in topical sections on AB grammars, Lambek's syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.
