Soft subexponentials and multiplexing (Q2096472): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-51074-9_29
+Normal rank
@@ Property / OpenAlex ID @@
+W3039072461
@@ Property / OpenAlex ID: W3039072461 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q4398333
@@ Property / cites work: Q4398333 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantics for light linear logic
@@ Property / cites work: Phase semantics for light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logics with controlled weakening: expressibility, confluent strong normalization
+Normal rank
@@ Property / cites work @@
+Subexponentials in non-commutative linear logic
@@ Property / cites work: Subexponentials in non-commutative linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework with commutative and non-commutative subexponentials
+Normal rank
@@ Property / cites work @@
+L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
+Normal rank
@@ Property / cites work @@
+Undecidability of the Lambek Calculus with a Relevant Modality
+Normal rank
@@ Property / cites work @@
+Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities
+Normal rank
@@ Property / cites work @@
+Soft linear logic and polynomial time
@@ Property / cites work: Soft linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of categorial grammars. A deductive account of natural language syntax and semantics
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+An extended framework for specifying and reasoning about proof systems
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank