Symmetric categorial grammar

DOI10.1007/S10992-009-9118-6zbMATH Open1197.03022OpenAlexW2077855244MaRDI QIDQ843772FDOQ843772

Authors: 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

Recommendations

• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• Continuation semantics for the Lambek-Grishin calculus
• Continuation Semantics for Symmetric Categorial Grammar
• Relational semantics for the Lambek-Grishin calculus
• On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars

zbMATH Keywords

substructural logicCurry-Howard correspondencelambda calculusLambek calculuscategorial grammar

Mathematics Subject Classification ID

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

Cites Work

• Essays in logical semantics
• Symmetric generalized Galois logics
• Algebraic methods in philosophical logic
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Title not available (Why is that?)
• Substructural logics on display
• Residuated lattices. An algebraic glimpse at substructural logics
• From word to sentence. A computational algebraic approach to grammar
• Generalized Kripke frames
• The Mathematics of Sentence Structure
• Relational semantics for the Lambek-Grishin calculus
• Language in action. Categories, lambdas and dynamic logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Title not available (Why is that?)
• Proof nets for the multimodal Lambek calculus
• Multimodal linguistic inference
• The duality of computation
• Continuation semantics for the Lambek-Grishin calculus
• Classical non-associative Lambek calculus
• Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
• Non-commutative linear logic in linguistics
• Types as graphs: Continuations in type logical grammar
• 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
• The generative capacity of the Lambek-Grishin calculus: a new lower bound
• Principles and implementation of deductive parsing
• A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic
• Title not available (Why is that?)
• A faithful representation of non-associative Lambek grammars in abstract categorial grammars

Cited In (14)

• Type similarity for the Lambek-Grishin calculus revisited
• Continuation semantics for the Lambek-Grishin calculus
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• A note on multidimensional Dyck languages
• Multi-sorted residuation
• Lambek-Grishin calculus: focusing, display and full polarization
• A geometrical representation of the basic laws of categorial grammar
• Continuation Semantics for Symmetric Categorial Grammar
• Polynomial-time checking of generalized Sahlqvist syntactic shape
• Grammar specification in categorial logics and theorem proving
• Proof-theoretic aspects of the Lambek-Grishin calculus
• Algorithmic correspondence and canonicity for non-distributive logics
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• On involutive nonassociative Lambek calculus

This page was built for publication: Symmetric categorial grammar

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q843772)