Continuation semantics for the Lambek-Grishin calculus

DOI10.1016/j.ic.2009.11.005zbMath1198.03027OpenAlexW2049802486MaRDI QIDQ964491

Michael Moortgat, Raffaella Bernardi

Publication date: 22 April 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.11.005

zbMATH Keywords

categorial grammarscontinuation-passing-style translations

Mathematics Subject Classification ID

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

Related Items (6)

A geometrical representation of the basic laws of categorial grammar ⋮ Symmetric categorial grammar ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Monoidal logics: completeness and classical systems ⋮ On Residuation ⋮ Distributional Semantics: A Montagovian View

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symmetric categorial grammar
• Residuated lattices. An algebraic glimpse at substructural logics
• Types as graphs: Continuations in type logical grammar
• Control categories and duality: on the categorical semantics of the lambda-mu calculus
• The duality of computation
• Kripke models for linear logic
• The Mathematics of Sentence Structure
• Relational Semantics for the Lambek-Grishin Calculus
• Continuation Semantics for Symmetric Categorial Grammar
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Substructural logics on display
• Proof Nets for Basic Discontinuous Lambek Calculus
• Mathematical Knowledge Management

This page was built for publication: Continuation semantics for the Lambek-Grishin calculus