Game Semantics and the Manifestation Thesis

DOI10.1007/978-94-007-1923-1_8zbMath1257.03020MaRDI QIDQ2908761

Mathieu Marion

Publication date: 29 August 2012

Published in: The Realism-Antirealism Debate in the Age of Alternative Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-1923-1_8

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

Cites Work

• Logical constants as punctuation marks
• Dialogues, strategies, and intuitionistic provability
• Language games and intuitionism
• A game semantics for linear logic
• A constructive game semantics for the language of linear logic
• Feasibility in logic
• Radical anti-realism, Wittgenstein and the length of proofs
• Formalizing medieval logical theories. Suppositio, consequentiae and obligationes
• Games: Unifying logic, language, and philosophy
• What is a syllogism?
• Locus Solum: From the rules of logic to the logic of rules
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Undecidability in Anti-Realism
• Games and full completeness for multiplicative linear logic
• Logical Pluralism
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item