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

DOI10.1007/978-3-642-31555-8zbMath1261.03001OpenAlexW81761572WikidataQ57665947 ScholiaQ57665947MaRDI QIDQ433866

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

Lambek calculus proof nets categorial grammars parsing-as-deduction

Mathematics Subject Classification ID

Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Grammars and rewriting systems (68Q42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (38)

On Lambek’s Restriction in the Presence of Exponential Modalities ⋮ Natural language semantics in biproduct dagger categories ⋮ Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ Language models for some extensions of the Lambek calculus ⋮ Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Editorial introduction: substructural logics and metainferences ⋮ On involutive nonassociative Lambek calculus ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ Natural language semantics and computability ⋮ Making first order linear logic a generating grammar ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Commutative Lambek grammars ⋮ Multimodality in the Hypergraph Lambek Calculus ⋮ Relational models for the Lambek calculus with intersection and unit ⋮ Categorial Grammars and Their Logics ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ Proof nets for multiplicative cyclic linear logic and Lambek calculus ⋮ Equivalences among polarity algorithms ⋮ Learning Lambek Grammars from Proof Frames ⋮ On Associative Lambek Calculus Extended with Basic Proper Axioms ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ A Categorial Type Logic ⋮ Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\) ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Infinitary action logic with exponentiation ⋮ Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Subexponentials in non-commutative linear logic ⋮ Unnamed Item ⋮ Soft subexponentials and multiplexing ⋮ Extensions of Lambek Calculi ⋮ Non-associative, non-commutative multi-modal linear logic ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR

Uses Software

Grail

This page was built for publication: The logic of categorial grammars. A deductive account of natural language syntax and semantics