Compatibility of a Categorial Grammar With an Associated Category System

DOI10.1002/MALQ.19820281407zbMATH Open0499.03009OpenAlexW2120017950MaRDI QIDQ3964531FDOQ3964531

Authors: Wojciech Buszkowski 

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

zbMATH Keywords

semanticscompletenessLambek's syntactic calculussyntactical categoriesgrammatical categoriesproduct-free types

Mathematics Subject Classification ID

Logic of natural languages (03B65) Automata and formal grammars in connection with logical questions (03D05)

Cited In (12)

• The atomic theory of division of semiring ideals
• The finite model property for BCI and related systems
• Algebraic structures in categorial grammar
• Language-theoretic and finite relation models for the (full) Lambek calculus
• Relational semantics of the Lambek calculus extended with classical propositional logic
• \(L\)-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
• Language models for some extensions of the Lambek calculus
• Fibred semantics for feature-based grammar logic
• Models for the Lambek calculus
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Complexity of the infinitary Lambek calculus with Kleene star
• Trivalent logics arising from L-models for the Lambek calculus with constants

This page was built for publication: Compatibility of a Categorial Grammar With an Associated Category System

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