Compatibility of a Categorial Grammar With an Associated Category System

DOI10.1002/MALQ.19820281407MaRDI QIDQ3964531zbMATH OpenOpenAlexFDO

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)

• Trivalent logics arising from L-models for the Lambek calculus with constants
• 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
• Language models for some extensions of the Lambek calculus
• \(L\)-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
• 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

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)