Game Semantics and the Manifestation Thesis (Q2908761): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-94-007-1923-1_8
+Normal rank
@@ Property / OpenAlex ID @@
+W985652620
@@ Property / OpenAlex ID: W985652620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225147
@@ Property / cites work: Q4225147 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Logical Pluralism
@@ Property / cites work: Logical Pluralism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295869
@@ Property / cites work: Q4295869 / 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 @@
+Q3060316
@@ Property / cites work: Q3060316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4774002
@@ Property / cites work: Q4774002 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical constants as punctuation marks
@@ Property / cites work: Logical constants as punctuation marks / rank @@
+Normal rank
@@ Property / cites work @@
+Feasibility in logic
@@ Property / cites work: Feasibility in logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856189
@@ Property / cites work: Q4856189 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing medieval logical theories. Suppositio, consequentiae and obligationes
+Normal rank
@@ Property / cites work @@
+Dialogues, strategies, and intuitionistic provability
+Normal rank
@@ Property / cites work @@
+Q4342083
@@ Property / cites work: Q4342083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3586993
@@ Property / cites work: Q3586993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739107
@@ Property / cites work: Q3739107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388222
@@ Property / cites work: Q4388222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive game semantics for the language of linear logic
+Normal rank
@@ Property / cites work @@
+Q3874172
@@ Property / cites work: Q3874172 / rank @@
+Normal rank
@@ Property / cites work @@
+Games: Unifying logic, language, and philosophy
@@ Property / cites work: Games: Unifying logic, language, and philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3620021
@@ Property / cites work: Q3620021 / rank @@
+Normal rank
@@ Property / cites work @@
+Radical anti-realism, Wittgenstein and the length of proofs
+Normal rank
@@ Property / cites work @@
+Q3007298
@@ Property / cites work: Q3007298 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711863
@@ Property / cites work: Q5711863 / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning and proofs: on the conflict between classical and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q5703108
@@ Property / cites work: Q5703108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3620028
@@ Property / cites work: Q3620028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3620030
@@ Property / cites work: Q3620030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532131
@@ Property / cites work: Q4532131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4820387
@@ Property / cites work: Q4820387 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability in Anti-Realism
@@ Property / cites work: Undecidability in Anti-Realism / rank @@
+Normal rank
@@ Property / cites work @@
+What is a syllogism?
@@ Property / cites work: What is a syllogism? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342086
@@ Property / cites work: Q4342086 / rank @@
+Normal rank
@@ Property / cites work @@
+Language games and intuitionism
@@ Property / cites work: Language games and intuitionism / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2908761