scientific article

zbMath0695.03015MaRDI QIDQ3470458

J. F. A. K. van Benthem

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

assignmentlambda calculuslambda termscatgorial grammarCurry-Howard formulas-as-types correspondenceLambek's calculus of flexible categorial combination

Mathematics Subject Classification ID

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

Related Items (15)

Symmetric categorial grammar ⋮ Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ Multimodal linguistic inference ⋮ On translating context-free grammars into Lambek grammars ⋮ Commutative Lambek grammars ⋮ Categorial Grammars and Their Logics ⋮ Unnamed Item ⋮ Lambek calculus with restricted contraction and expansion ⋮ Grammar specification in categorial logics and theorem proving ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Semantic bootstrapping of type-logical grammar ⋮ Intuitionistic categorial grammar ⋮ Linear axiomatics of commutative product-free Lambek calculus ⋮ Polyadic quantifiers ⋮ Unnamed Item

This page was built for publication: