Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Decorated linear order types and the theory of concatenation
- Cardinal preserving elementary embeddings
- Proof interpretations and majorizability
- Proof mining in practice
- Cardinal structure under AD
- Three lectures on automatic structures
- Pillay's conjecture and its solution—a survey
- Proof theory and meaning: On the context of deducibility
- Bounded super real closed rings
- Analytic combinatorics of the transfinite: A unifying Tauberian perspective
- References
Proof theory and meaning: On the context of deducibility
Published online by Cambridge University Press: 01 March 2011
By
Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Decorated linear order types and the theory of concatenation
- Cardinal preserving elementary embeddings
- Proof interpretations and majorizability
- Proof mining in practice
- Cardinal structure under AD
- Three lectures on automatic structures
- Pillay's conjecture and its solution—a survey
- Proof theory and meaning: On the context of deducibility
- Bounded super real closed rings
- Analytic combinatorics of the transfinite: A unifying Tauberian perspective
- References
- Type
- Chapter
- Information
- Logic Colloquium 2007 , pp. 204 - 219Publisher: Cambridge University PressPrint publication year: 2010
References
[1] and , Jr., Entailment: The Logic of Relevance and Necessity, Volume I, Princeton University Press, Princeton, N. J., 1975, With contributions by and , and further contributions by , , , , , , , , , and .Google Scholar
[2] , , Jr., and , Entailment. The Logic of Relevance and Necessity. Volume II, Princeton University Press, Princeton, NJ, 1992, With contributions by , et al, Includes a bibliography of entailment by .Google Scholar
[4] , , and , Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53, Cambridge University Press, Cambridge, 2001.Google Scholar
[6] , Articulating Reasons: An Introduction to Inferentialism, Harvard University Press, Cambridge, Massachusetts, 2000.Google Scholar
[7] , E pluribus unum: plural logic and set theory, Philosophia Mathematica. Philosophy of Mathematics, its Learning, and its Application. Series III, vol. 12 (2004), no. 3, pp. 193–221.Google Scholar
[8] and , Relevance logic, Handbook of Philosophical Logic (, editor), vol. 6, Kluwer Academic Publishers, London, UK, second ed., 2002, pp. 1–136.Google Scholar
[9] , Set Theory with a Universal Set, second ed., Oxford Logic Guides, vol. 31, The Clarendon Press Oxford University Press, New York, 1995, Exploring an untyped universe, Oxford Science Publications.Google Scholar
[10] , , , and , Many-Dimensional Modal Logics: Theory and Applications, Studies in Logic and the Foundations of Mathematics, vol. 148, North-Holland, Amsterdam, 2003.Google Scholar
[11] , Untersuchungen über das logische Schlieβen. I, Mathematische Zeitschrift, vol. 39 (1935), no. 1, pp. 176–210.Google Scholar
[12] , Untersuchungen über das logische Schlieβen. II, Mathematische Zeitschrift, vol. 39 (1935), no. 1, pp. 405–431.Google Scholar
[13] , Natural deduction and Hilbert's ε-operator, Journal of Philosophical Logic, vol. 16 (1987), no. 4, pp. 411–421.Google Scholar
[17] , Proper classes, The Journal of Symbolic Logic, vol. 48 (1983), no. 1, pp. 113–139.Google Scholar
[18] , Natural Deduction. A Proof-Theoretical Study, Acta Universitatis Stock-holmiensis. Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965.Google Scholar
[22] , Proofnets for S5: sequents and circuits for modal logic, Logic Colloquium 2005 (, , and , editors), Lecture Notes in Logic, vol. 28, ASL, Urbana, IL, 2008, pp. 151–172.Google Scholar
[23] , Roundabout the Runabout Inference-Ticket, Analysis, vol. 21 (1961), no. 6, pp. 124–128.Google Scholar
[24] , Hilbert's epsilon as an operator of indefinite committed choice, Journal of Applied Logic, vol. 6 (2008), no. 3, pp. 287–317.Google Scholar
- 1
- Cited by