Proof-Theoretic Aspects of the Lambek-Grishin Calculus

DOI10.1007/978-3-662-47709-0_9zbMath1465.03064OpenAlexW1413231474MaRDI QIDQ2947464

Philippe de Groote

Publication date: 24 September 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-47709-0_9

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS

Cites Work

• Linear logic
• Symmetric categorial grammar
• Classical non-associative Lambek calculus
• Relational Semantics for the Lambek-Grishin Calculus
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus

This page was built for publication: Proof-Theoretic Aspects of the Lambek-Grishin Calculus