Proof-theoretic aspects of the Lambek-Grishin calculus

DOI10.1007/978-3-662-47709-0_9MaRDI QIDQ2947464zbMATH OpenOpenAlexFDO

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

Recommendations

• Polarized Montagovian Semantics for the Lambek-Grishin Calculus
• Generalized Kripke semantics for the Lambek-Grishin calculus
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• Relational semantics for the Lambek-Grishin calculus
• On classical nonassociative Lambek calculus

Cites work

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

Cited in

(14)

• A self-contained provability calculus for \(\varGamma_0\)
• Extraction in the Lambek-Grishin Calculus
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• Generalized Kripke semantics for the Lambek-Grishin calculus
• Type similarity for the Lambek-Grishin calculus revisited
• The product-free Lambek-Grishin calculus is NP-complete
• Relational semantics for the Lambek-Grishin calculus
• De Morgan interpretation of the Lambek-Grishin calculus
• Continuation semantics for the Lambek-Grishin calculus
• TLA +  Proofs
• scientific article; zbMATH DE number 6296859 (Why is no real title available?)
• On the proof theory of Coquand's calculus of constructions
• Polarized Montagovian Semantics for the Lambek-Grishin Calculus
• Polarized classical non-associative Lambek calculus and formal semantics

This page was built for publication: Proof-theoretic aspects of the Lambek-Grishin calculus

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