scientific article; zbMATH DE number 4137754

MaRDI QIDQ3470458zbMATH OpenFDO

Authors Johan van Benthem

Publication date 1988

zbMATH Keywords

assignmentcatgorial grammarCurry-Howard formulas-as-types correspondencelambda calculuslambda termsLambek's calculus of flexible categorial combination

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic of natural languages (03B65)

Recommendations

• scientific article; zbMATH DE number 4106818
• Categorial grammar and type theory
• scientific article; zbMATH DE number 4162855
• Continuation semantics for the Lambek-Grishin calculus
• A Concrete Categorical Model for the Lambek Syntactic Calculus

Cited in

(28)

• Lambek calculus with restricted contraction and expansion
• The combinatorics of cases
• Semantic bootstrapping of type-logical grammar
• Multimodal linguistic inference
• Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
• Linear axiomatics of commutative product-free Lambek calculus
• Implementing variable vectors in a CCG parser
• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• scientific article; zbMATH DE number 445156 (Why is no real title available?)
• Lambek grammars as combinatory categorial grammars
• Intuitionistic categorial grammar
• scientific article; zbMATH DE number 4168913 (Why is no real title available?)
• Phonological interpretation into preordered algebras
• Continuation Semantics for Symmetric Categorial Grammar
• scientific article; zbMATH DE number 4106818 (Why is no real title available?)
• scientific article; zbMATH DE number 549970 (Why is no real title available?)
• scientific article; zbMATH DE number 569772 (Why is no real title available?)
• A Concrete Categorical Model for the Lambek Syntactic Calculus
• Categorial grammars and their logics
• Grammar specification in categorial logics and theorem proving
• Polyadic quantifiers
• Stochastic Lambek categorial grammars
• Extractability as the deduction theorem in subdirectional combinatory logic
• Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
• Commutative Lambek grammars
• Symmetric categorial grammar
• On translating context-free grammars into Lambek grammars
• Continuation semantics for the Lambek-Grishin calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3470458)