Symmetric categorial grammar

DOI10.1007/S10992-009-9118-6MaRDI QIDQ843772zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 4137754 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic
• A faithful representation of non-associative Lambek grammars in abstract categorial grammars
• Algebraic methods in philosophical logic
• Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
• Classical non-associative Lambek calculus
• Continuation semantics for the Lambek-Grishin calculus
• Essays in logical semantics
• From word to sentence. A computational algebraic approach to grammar
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Generalized Kripke frames
• Global index grammars and descriptive power
• Language in action. Categories, lambdas and dynamic logic
• Multimodal linguistic inference
• Non-commutative linear logic in linguistics
• On the expressive power of abstract categorial grammars: Representing context-free formalisms
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Principles and implementation of deductive parsing
• Proof nets for the multimodal Lambek calculus
• Relational semantics for the Lambek-Grishin calculus
• Residuated lattices. An algebraic glimpse at substructural logics
• Substructural logics on display
• Symmetric generalized Galois logics
• The Mathematics of Sentence Structure
• The conjoinability relation in Lambek calculus and linear logic
• The duality of computation
• The generative capacity of the Lambek-Grishin calculus: a new lower bound
• Types as graphs: Continuations in type logical grammar

Cited in

(14)

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

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)