Proof-theoretic aspects of the Lambek-Grishin calculus
DOI10.1007/978-3-662-47709-0_9zbMATH Open1465.03064OpenAlexW1413231474MaRDI QIDQ2947464FDOQ2947464
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
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
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
Cited In (14)
- Type similarity for the Lambek-Grishin calculus revisited
- Continuation semantics for the Lambek-Grishin calculus
- Title not available (Why is that?)
- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
- Polarized classical non-associative Lambek calculus and formal semantics
- The product-free Lambek-Grishin calculus is NP-complete
- De Morgan interpretation of the Lambek-Grishin calculus
- Polarized Montagovian Semantics for the Lambek-Grishin Calculus
- Extraction in the Lambek-Grishin Calculus
- TLA + Proofs
- A self-contained provability calculus for \(\varGamma_0\)
- Relational semantics for the Lambek-Grishin calculus
- Generalized Kripke semantics for the Lambek-Grishin calculus
- On the proof theory of Coquand's calculus of constructions
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)
