The logic of categorial grammars. A deductive account of natural language syntax and semantics
DOI10.1007/978-3-642-31555-8zbMATH Open1261.03001DBLPseries/lncs/6850OpenAlexW81761572WikidataQ57665947 ScholiaQ57665947MaRDI QIDQ433866FDOQ433866
Authors: Richard Moot, Christian Retoré 
Publication date: 6 July 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31555-8
Recommendations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Grammars and rewriting systems (68Q42)
Cited In (61)
- Multimodality in the Hypergraph Lambek Calculus
- Bunched Fuzz: sensitivity for vector metrics
- Using tableaux to automate the Lambek and other categorial calculi
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- Making first order linear logic a generating grammar
- Hybrid categorial type logics and the formal treatment of Chinese
- Subexponentials in non-commutative linear logic
- Title not available (Why is that?)
- Categorial grammar and type theory
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- Language and grammar. Studies in mathematical linguistics and natural language
- A sequent calculus for a semi-associative law
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Natural language semantics in biproduct dagger categories
- Equivalences among polarity algorithms
- A graph-theoretic approach to sequent derivability in the Lambek calculus
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
- Learning Lambek grammars from proof frames
- Categorial grammars and their logics
- A tale of four grammars
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)
- Relational Models for the Lambek Calculus with Intersection and Constants
- A categorial type logic
- On Lambek's restriction in the presence of exponential modalities
- Soft subexponentials and multiplexing
- Cyclic multiplicative proof nets of linear logic with an application to language parsing
- Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
- Relational models for the Lambek calculus with intersection and unit
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities
- Proof nets for multiplicative cyclic linear logic and Lambek calculus
- A geometrical representation of the basic laws of categorial grammar
- On associative Lambek calculus extended with basic proper axioms
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- Commutative Lambek grammars
- Extensions of Lambek calculi
- Stochastic Lambek categorial grammars
- Clausal Proofs and Discontinuity
- Natural language semantics and computability
- On the logic of expansion in natural language
- Deductive and grammatical competence: type logical remarks on nesting phenomena
- Language models for some extensions of the Lambek calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extended Lambek calculi and first-order linear logic
- Analyzing the core of categorial grammar
- Editorial introduction: substructural logics and metainferences
- Infinitary action logic with exponentiation
- Title not available (Why is that?)
- A count invariant for Lambek calculus with additives and bracket modalities
- Title not available (Why is that?)
- Some syntactic interpretations in different systems of full Lambek calculus
- Non-associative, non-commutative multi-modal linear logic
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Complexity of the infinitary Lambek calculus with Kleene star
- Title not available (Why is that?)
- \(\mathrm{NL}_\lambda\) as the logic of scope and movement
- On involutive nonassociative Lambek calculus
Uses Software
This page was built for publication: The logic of categorial grammars. A deductive account of natural language syntax and semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433866)
