Dynamic non-commutative logic (Q2268354): Difference between revisions

@@ Property / cites work @@
+Non‐commutative intuitionistic linear logic
@@ Property / cites work: Non‐commutative intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
+Normal rank
@@ Property / cites work @@
+Predicate logics without the structure rules
@@ Property / cites work: Predicate logics without the structure rules / 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 @@
+A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
+Normal rank
@@ Property / cites work @@
+Q5483306
@@ Property / cites work: Q5483306 / rank @@
+Normal rank