Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics (Q2963961): Difference between revisions

@@ Property / cites work @@
+New foundations for the geometry of interaction
@@ Property / cites work: New foundations for the geometry of interaction / 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 @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of an ancient logic
@@ Property / cites work: Completeness of an ancient logic / rank @@
+Normal rank
@@ Property / cites work @@
+Aristotle's Demonstrative Logic
@@ Property / cites work: Aristotle's Demonstrative Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof and refutation in MALL as a game
@@ Property / cites work: Proof and refutation in MALL as a game / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing medieval logical theories. Suppositio, consequentiae and obligationes
+Normal rank
@@ Property / cites work @@
+Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation
+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 @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to computability logic
@@ Property / cites work: Introduction to computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3715068
@@ Property / cites work: Q3715068 / rank @@
+Normal rank
@@ Property / cites work @@
+Pour une étude du langage via l’interaction : dialogues et sémantique en Ludique
+Normal rank
@@ Property / cites work @@
+Figures of dialogue: a view from ludics
@@ Property / cites work: Figures of dialogue: a view from ludics / rank @@
+Normal rank
@@ Property / cites work @@
+Aristotle's syllogistic from the standpoint of modern formal logic
+Normal rank
@@ Property / cites work @@
+Signs of logic. Peircean themes on the philosophy of language, games, and communication
+Normal rank
@@ Property / cites work @@
+Q3228599
@@ Property / cites work: Q3228599 / rank @@
+Normal rank
@@ Property / cites work @@
+Syllogism and quantification
@@ Property / cites work: Syllogism and quantification / rank @@
+Normal rank
@@ Property / cites work @@
+What is a syllogism?
@@ Property / cites work: What is a syllogism? / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of an ecthetic syllogistic
@@ Property / cites work: Completeness of an ecthetic syllogistic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269146
@@ Property / cites work: Q4269146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414313
@@ Property / cites work: Q4414313 / rank @@
+Normal rank