Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498): Difference between revisions

@@ Property / OpenAlex ID @@
+W4385448550
@@ Property / OpenAlex ID: W4385448550 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
+Normal rank
@@ Property / cites work @@
+Q5764755
@@ Property / cites work: Q5764755 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536273
@@ Property / cites work: Q5536273 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Non-associative, non-commutative multi-modal linear logic
+Normal rank
@@ Property / cites work @@
+On Classical Nonassociative Lambek Calculus
@@ Property / cites work: On Classical Nonassociative Lambek Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and Intuitionistic Subexponential Logics Are Equally Expressive
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
+Normal rank
@@ Property / cites work @@
+Q2958523
@@ Property / cites work: Q2958523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282602
@@ Property / cites work: Q4282602 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical non-associative Lambek calculus
@@ Property / cites work: Classical non-associative Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964696
@@ Property / cites work: Q4964696 / rank @@
+Normal rank
@@ Property / cites work @@
+Focused proof-search in the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111318
@@ Property / cites work: Q5111318 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework with commutative and non-commutative subexponentials
+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 @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Around Classical and Intuitionistic Linear Logics
@@ Property / cites work: Around Classical and Intuitionistic Linear Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform framework for substructural logics with modalities
+Normal rank
@@ Property / cites work @@
+Multimodal linguistic inference
@@ Property / cites work: Multimodal linguistic inference / rank @@
+Normal rank
@@ Property / cites work @@
+Parsing/theorem-proving for logical grammar \textit{CatLog3}
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218528
@@ Property / cites work: Q4218528 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Syntactical Observations on Linear Logic
@@ Property / cites work: Some Syntactical Observations on Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank