Proof nets for the multimodal Lambek calculus
From MaRDI portal
Publication:1850954
DOI10.1023/A:1020525032763zbMath1013.03016MaRDI QIDQ1850954
Publication date: 15 December 2002
Published in: Studia Logica (Search for Journal in Brave)
Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (15)
Logical foundations for hybrid type-logical grammars ⋮ Symmetric categorial grammar ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Natural language semantics and computability ⋮ Grammar induction by unification of type-logical lexicons ⋮ Proof nets for multiplicative cyclic linear logic and Lambek calculus ⋮ Categorial Grammars and Minimalist Grammars ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ Learnability of type-logical grammars ⋮ A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus ⋮ Types as graphs: Continuations in type logical grammar ⋮ Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Proof Nets for the Displacement Calculus ⋮ Multiplicative Linear Logics and Fibrations
This page was built for publication: Proof nets for the multimodal Lambek calculus
