Causal dependencies in multiplicative linear logic with MIX (Q4862762): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+A decision procedure revisited: Notes on direct logic, linear logic and its implementation
+Normal rank
@@ Property / cites work @@
+A decidable fragment of predicate calculus
@@ Property / cites work: A decidable fragment of predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129500000797
+Normal rank
@@ Property / OpenAlex ID @@
+W2098064994
@@ Property / OpenAlex ID: W2098064994 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4862762