Proof nets for the multimodal Lambek calculus

DOI10.1023/A:1020525032763zbMath1013.03016MaRDI QIDQ1850954

Richard Moot, Quintijn Puite

Publication date: 15 December 2002

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

correctnesscut eliminationlinear logicproof theoryproof netsmultimodal Lambek calculus

Mathematics Subject Classification ID

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