Soft subexponentials and multiplexing
type: Item
instance of: scholarly article
title: Soft subexponentials and multiplexing
DOI: 10.1007/978-3-030-51074-9_29
author: Stepan Kuznetsov
author: Vivek Nigam
author: Max Kanovich
author: Andre Scedrov
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7614531
MaRDI profile type: Publication
full work available at URL: 978-3-030-51074-9 29
OpenAlex ID: W3039072461
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Q4398333
cites work: A linear logical framework
cites work: Linear logic
cites work: Light linear logic
cites work: Phase semantics for light linear logic
cites work: Light linear logics with controlled weakening: expressibility, confluent strong normalization
cites work: Subexponentials in non-commutative linear logic
cites work: A logical framework with commutative and non-commutative subexponentials
cites work: L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
cites work: Undecidability of the Lambek Calculus with a Relevant Modality
cites work: Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities
cites work: Soft linear logic and polynomial time
cites work: The Mathematics of Sentence Structure
cites work: Decision problems for propositional linear logic
cites work: The logic of categorial grammars. A deductive account of natural language syntax and semantics
cites work: A framework for proof systems
cites work: An extended framework for specifying and reasoning about proof systems
cites work: Quantales and (noncommutative) linear logic
description: scientific article; zbMATH DE number 7614531