Compatibility of a Categorial Grammar With an Associated Category System
From MaRDI portal
Publication:3964531
DOI10.1002/malq.19820281407zbMath0499.03009OpenAlexW2120017950MaRDI QIDQ3964531
Publication date: 1982
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19820281407
completenesssemanticsLambek's syntactic calculussyntactical categoriesgrammatical categoriesproduct-free types
Logic of natural languages (03B65) Automata and formal grammars in connection with logical questions (03D05)
Related Items
Models for the Lambek calculus, Language-theoretic and finite relation models for the (full) Lambek calculus, Fibred semantics for feature-based grammar logic, Algebraic structures in categorial grammar, Trivalent logics arising from L-models for the Lambek calculus with constants, Language models for some extensions of the Lambek calculus, A restricted fragment of the Lambek calculus with iteration and intersection operations, Relational semantics of the Lambek calculus extended with classical propositional logic, The atomic theory of division of semiring ideals, L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents, The finite model property for BCI and related systems, COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
