Non-associative, non-commutative multi-modal linear logic
From MaRDI portal
Publication:2104536
DOI10.1007/978-3-031-10769-6_27OpenAlexW4289104061MaRDI QIDQ2104536FDOQ2104536
Authors: Eben Blaisdell, Stepan Kuznetsov, Elaine Pimentel, Max Kanovich, Andre Scedrov 
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_27
Cites Work
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- Decision problems for propositional linear logic
- Display logic
- Lambek calculus is NP-complete
- Linear logic
- Title not available (Why is that?)
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- The Mathematics of Sentence Structure
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
- Multimodal linguistic inference
- Title not available (Why is that?)
- Non‐associative Lambek Categorial Grammar in Polynomial Time
- A framework for proof systems
- A uniform framework for substructural logics with modalities
- On the complexity of nonassociative Lambek calculus with unit
- Classical non-associative Lambek calculus
- Decidability of linear affine logic
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
- Title not available (Why is that?)
- Language and grammar. Studies in mathematical linguistics and natural language
- Talking about Explicit Databases in Categorial Grammar
- Multimodal Linguistic Inference
- Title not available (Why is that?)
- UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
- On the recognizing power of the Lambek calculus with brackets
- An extended framework for specifying and reasoning about proof systems
- On the decision problem for MELL
- Modular Focused Proof Systems for Intuitionistic Modal Logics
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- A logical framework with commutative and non-commutative subexponentials
- Cyclic Involutive Distributive Full Lambek Calculus is Decidable
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities
- Undecidability of the Lambek Calculus with a Relevant Modality
- Subexponentials in non-commutative linear logic
- Focused proof-search in the logic of bunched implications
- On subexponentials, focusing and modalities in concurrent systems
- Title not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- Relations and non-commutative linear logic
- Dynamic non-commutative logic
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- Non-commutative logic for compositional distributional semantics
- On noncommutative extensions of linear logic
- Non-commutative propositional logic with short-circuit evaluation
Uses Software
This page was built for publication: Non-associative, non-commutative multi-modal linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104536)
