scientific article; zbMATH DE number 6296859
From MaRDI portal
Publication:5416219
zbMath1350.03023arXiv1112.6384MaRDI QIDQ5416219
Richard Moot, Michael Moortgat
Publication date: 19 May 2014
Full work available at URL: https://arxiv.org/abs/1112.6384
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (8)
A geometrical representation of the basic laws of categorial grammar ⋮ Category theory, logic and formal linguistics: some connections, old and new ⋮ Logical foundations for hybrid type-logical grammars ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ Strong and Weak Quantifiers in Focused NL$$_{\text {CL}}$$ ⋮ On Residuation ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets
This page was built for publication:
