Symmetric categorial grammar

DOI10.1007/s10992-009-9118-6zbMath1197.03022OpenAlexW2077855244MaRDI QIDQ843772

Michael Moortgat

Publication date: 15 January 2010

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-009-9118-6

zbMATH Keywords

Lambek calculussubstructural logiclambda calculusCurry-Howard correspondencecategorial grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

Related Items (9)

Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Proof-Theoretic Aspects of the Lambek-Grishin Calculus ⋮ On involutive nonassociative Lambek calculus ⋮ Grammar specification in categorial logics and theorem proving ⋮ Type Similarity for the Lambek-Grishin Calculus Revisited ⋮ Multi-Sorted Residuation ⋮ A Note on Multidimensional Dyck Languages ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Algorithmic correspondence and canonicity for non-distributive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-commutative linear logic in linguistics
• Generalized Kripke frames
• Residuated lattices. An algebraic glimpse at substructural logics
• Continuation semantics for the Lambek-Grishin calculus
• A faithful representation of non-associative Lambek grammars in abstract categorial grammars
• Types as graphs: Continuations in type logical grammar
• Essays in logical semantics
• Language in action. Categories, lambdas and dynamic logic
• The conjoinability relation in Lambek calculus and linear logic
• Global index grammars and descriptive power
• On the expressive power of abstract categorial grammars: Representing context-free formalisms
• Classical non-associative Lambek calculus
• Proof nets for the multimodal Lambek calculus
• Multimodal linguistic inference
• Symmetric generalized Galois logics
• The duality of computation
• The Generative Capacity of the Lambek–Grishin Calculus: A New Lower Bound
• Principles and implementation of deductive parsing
• The Mathematics of Sentence Structure
• Relational Semantics for the Lambek-Grishin Calculus
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Substructural logics on display

This page was built for publication: Symmetric categorial grammar