The propositional logic of elementary tasks (Q1861137): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1038234610
+Normal rank
@@ Property / OpenAlex ID @@
+W1998369056
@@ Property / OpenAlex ID: W1998369056 / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive game semantics for the language of linear logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1861137