scientific article; zbMATH DE number 1175489

zbMath0913.68133MaRDI QIDQ4398333

Bob Carpenter

Publication date: 15 July 1998

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

zbMATH Keywords

type-logical grammarcategorical grammar

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

On Lambek’s Restriction in the Presence of Exponential Modalities ⋮ Event Semantics and Abstract Categorial Grammar ⋮ Independent set readings and generalized quantifiers ⋮ Tarski, truth and natural languages ⋮ On translating context-free grammars into Lambek grammars ⋮ On Jacobson’s “Towards a Variable-Free Semantics” ⋮ Covert Movement in Logical Grammar ⋮ Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality ⋮ Book review of: Jens Erik Fenstad, Grammar, geometry and brain ⋮ Book review of: Răzvan Diaconescu, Institution-independent model theory ⋮ Unnamed Item ⋮ Formalizing the IMA Language: Toward the Minimalist Program for Compositional Semantics ⋮ The Categorial Logic of Vacuous Components in Natural Language ⋮ Infinitary action logic with exponentiation ⋮ Undecidability of the Lambek Calculus with a Relevant Modality ⋮ Soft subexponentials and multiplexing ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR