Infinitary action logic with exponentiation (Q2067638): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2021.103057
@@ Property / DOI: 10.1016/j.apal.2021.103057 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3209215387
@@ Property / OpenAlex ID: W3209215387 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
+Normal rank
@@ Property / cites work @@
+Q5536273
@@ Property / cites work: Q5536273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364500
@@ Property / cites work: Q4364500 / rank @@
+Normal rank
@@ Property / cites work @@
+On Action Logic: Equational Theories of Action Algebras
+Normal rank
@@ Property / cites work @@
+Q4398333
@@ Property / cites work: Q4398333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4559476
@@ Property / cites work: Q4559476 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion-Theoretic Hierarchies
@@ Property / cites work: Recursion-Theoretic Hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+The Lambek calculus enriched with additional connectives
+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 complexity of multiplicative-additive Lambek calculus: 25 years later
+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 subexponentials and multiplexing
@@ Property / cites work: Soft subexponentials and multiplexing / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of reasoning in Kleene algebra
@@ Property / cites work: On the complexity of reasoning in Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives
+Normal rank
@@ Property / cites work @@
+Q4599225
@@ Property / cites work: Q4599225 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / 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 @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Q3590769
@@ Property / cites work: Q3590769 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus is NP-complete
@@ Property / cites work: Lambek calculus is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2021.103057
@@ Property / DOI: 10.1016/J.APAL.2021.103057 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2067638