scientific article; zbMATH DE number 7204441
From MaRDI portal
Publication:5111318
DOI10.4230/LIPIcs.FSCD.2017.22zbMath1434.03076arXiv1705.00694MaRDI QIDQ5111318
Glyn Morrill, Max I. Kanovich, Stepan Kuznetsov, Andrej Scedrov
Publication date: 26 May 2020
Full work available at URL: https://arxiv.org/abs/1705.00694
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) 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 (4)
On the recognizing power of the Lambek calculus with brackets ⋮ Bracket induction for Lambek calculus with bracket modalities ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- On translating Lambek grammars with one division into context-free grammars
- Linear logic
- Unidirectional Lambek grammars in polynomial time
- The structure of multiplicatives
- Proving theorems of the second order Lambek calculus in polynomial time
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
- On the generative capacity of multi-modal categorial grammars
- Models for the Lambek calculus
- Multimodal linguistic inference
- Lambek calculus is NP-complete
- Undecidability of the Lambek Calculus with a Relevant Modality
- Lambek grammars with one division and one primitive type
- The Mathematics of Sentence Structure
- Quantales and (noncommutative) linear logic
- Talking about Explicit Databases in Categorial Grammar
- Non‐associative Lambek Categorial Grammar in Polynomial Time
- A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus
This page was built for publication:
