The logic of categorial grammars. A deductive account of natural language syntax and semantics

DOI10.1007/978-3-642-31555-8MaRDI QIDQ433866zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

proof netsLambek calculuscategorial grammarsparsing-as-deduction

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 1251242
• Categorial grammar and type theory
• On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Tree models and (labeled) categorial grammar

Cited in

(61)

• 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
• Categorial grammar and type theory
• Subexponentials in non-commutative linear logic
• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• scientific article; zbMATH DE number 1989651 (Why is no real title available?)
• A sequent calculus for a semi-associative law
• Language and grammar. Studies in mathematical linguistics and natural language
• 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\)
• Soft subexponentials and multiplexing
• Relational Models for the Lambek Calculus with Intersection and Constants
• A categorial type logic
• On Lambek's restriction in the presence of exponential modalities
• 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
• A geometrical representation of the basic laws of categorial grammar
• Proof nets for multiplicative cyclic linear logic and Lambek calculus
• 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
• Multimodality in the Hypergraph Lambek Calculus
• Natural language semantics and computability
• Clausal Proofs and Discontinuity
• On the logic of expansion in natural language
• Language models for some extensions of the Lambek calculus
• Deductive and grammatical competence: type logical remarks on nesting phenomena
• scientific article; zbMATH DE number 1689580 (Why is no real title available?)
• scientific article; zbMATH DE number 1689859 (Why is no real title available?)
• Analyzing the core of categorial grammar
• Extended Lambek calculi and first-order linear logic
• Editorial introduction: substructural logics and metainferences
• Infinitary action logic with exponentiation
• scientific article; zbMATH DE number 1406013 (Why is no real title available?)
• A count invariant for Lambek calculus with additives and bracket modalities
• scientific article; zbMATH DE number 3957068 (Why is no real title available?)
• 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
• Bunched Fuzz: sensitivity for vector metrics
• scientific article; zbMATH DE number 7204452 (Why is no real title available?)
• scientific article; zbMATH DE number 842687 (Why is no real title available?)
• scientific article; zbMATH DE number 4002072 (Why is no real title available?)
• Complexity of the infinitary Lambek calculus with Kleene star
• \(\mathrm{NL}_\lambda\) as the logic of scope and movement
• On involutive nonassociative Lambek calculus
• scientific article; zbMATH DE number 7204441 (Why is no real title available?)

Describes a project that uses

Uses Software

• Grail

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)