From truth to computability. I. (Q2500484): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1985872645
@@ Property / OpenAlex ID: W1985872645 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56768690
@@ Property / Wikidata QID: Q56768690 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+cs/0407054
@@ Property / arXiv ID: cs/0407054 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / 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 @@
+Q4783301
@@ Property / cites work: Q4783301 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive game semantics for the language of linear logic
+Normal rank
@@ Property / cites work @@
+The propositional logic of elementary tasks
@@ Property / cites work: The propositional logic of elementary tasks / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to computability logic
@@ Property / cites work: Introduction to computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional computability logic I
@@ Property / cites work: Propositional computability logic I / rank @@
+Normal rank
@@ Property / cites work @@
+Computability Logic: A Formal Theory of Interaction
+Normal rank
@@ Property / cites work @@
+Q4215636
@@ Property / cites work: Q4215636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726697
@@ Property / cites work: Q5726697 / rank @@
+Normal rank