Arnon Avron, Oskar Becker, Johan van Benthem, Andreas Blass, Robert Brandom, L. E. J. Brouwer, Donald Davidson, Michael Dummett & Walter Felscher
In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 377 (2009)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| Options |
Mark as duplicate
Export citation
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,355
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Noninterference for Intuitionist Necessity.Radha Jagadeesan, Corin Pitcher & James Riely - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 185--196.
A Game Semantics for Generic Polymorphism.Samson Abramsky & Radha Jagadeesan - 2005 - Annals of Pure and Applied Logic 133 (1-3):3-37.
Games and Full Completeness for Multiplicative Linear Logic.Abramsky Samson & Jagadeesan Radha - 1994 - Journal of Symbolic Logic 59 (2):543-574.
Introduction to Clarithmetic III.Giorgi Japaridze - 2014 - Annals of Pure and Applied Logic 165 (1):241-252.
Ptarithmetic.Giorgi Japaridze - 2013 - The Baltic International Yearbook of Cognition, Logic and Communication 8 (1).
In the Beginning Was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.
Introduction to Computability Logic.Giorgi Japaridze - 2003 - Annals of Pure and Applied Logic 123 (1-3):1-99.
Separating the Basic Logics of the Basic Recurrences.Giorgi Japaridze - 2012 - Annals of Pure and Applied Logic 163 (3):377-389.
A Constructive Game Semantics for the Language of Linear Logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
The Intuitionistic Fragment of Computability Logic at the Propositional Level.Giorgi Japaridze - 2007 - Annals of Pure and Applied Logic 147 (3):187-227.
A Simple Proof of Arithmetical Completeness for $\pi_1$ -Conservativity Logic.Giorgi Japaridze - 1994 - Notre Dame Journal of Formal Logic 35 (3):346-354.
The Logic of Interactive Turing Reduction.Giorgi Japaridze - 2007 - Journal of Symbolic Logic 72 (1):243 - 276.
Analytics
Added to PP index
2014-01-27
Total views
11 ( #855,883 of 2,519,631 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,631 )
2014-01-27
Total views
11 ( #855,883 of 2,519,631 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,631 )
How can I increase my downloads?
Downloads
