Desktop version

Home arrow Philosophy arrow Advances in Proof-Theoretic Semantics


1. Abramsky, S.: Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics. In: Chen, G., Kauffman, L., Lomonaco, S. (eds.) Mathematics of Quantum Computing and Technology, pp. 515–558. Taylor and Francis (2007)

2. Awodey, S.: Category Theory. Oxford University Press, Oxford (2006)

3. Belnap, N.: Tonk, plonk and plink. Analysis 22, 130–134 (1962)

4. Bonnay, D., Simmenauer, B.: Tonk strikes back. Australas. J. Log. 3, 33–44 (2005)

5. Brandom, R.: Articulating Reasons: An Introduction to Inferentialism. Harvard University Press, Cambridge (2000)

6. Cook, R.T.: What's wrong with tonk(?). J. Philos. Log. 34, 217–226 (2005)

7. Davidson, D.: Inquiries into Truth and Interpretation. Clarendon Press, New York (2001)

8. Došen, K.: Logical constants: an essay in proof theory. Ph.D. thesis, Oxford University (1980)

9. Došen, K.: Logical constants as punctuation marks. Notre Dame J. Form. Log. 30, 362–381 (1989)

10. Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)

11. Hilbert, D.: On the infinite. In: van Heijenoort, J. (ed.) From Frege to Gódel: A Source Book in Mathematical Logic, 1897–1931, pp. 369–392. Harvard University Press, Cambridge (1967)

12. Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)

13. Lawvere, F.W.: Adjointness in foundations. Dialectica 23, 281–296 (1969)

14. Martin-Löf, P.: On the meanings of the logical constants and the justifications of the logical laws. Nord. J. Philos. Log. 1, 11–60 (1996)

15. Maruyama, Y.: Full lambek hyperdoctrine: categorical semantics for first-order substructural logics. In: Kohlenbach, U., Libkin, L., de Queiroz, R. (eds.) Logic, Language, Information, and Computation. LNCS, vol. 8071, pp. 211–225. Springer, Berlin (2013)

16. Pitts, A.: Categorical logic. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Chap. 2. Oxford University Press, Oxford (2000)

17. Prawitz, D.: Natural Deduction. Almqvist & Wiksell, Stockholm (1965)

18. Prior, A.N.: The runabout inference-ticket. Analysis 21, 38–39 (1960)

19. Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symb.

Log. 65, 979–1013 (2000)

20. Schroeder-Heister, P.: Definitional reflection and paradoxes, supplement to [21]. In: Stanford Encyclopedia of Philosophy (2012)

21. Schroeder-Heister, P.: Proof-theoretic semantics. In: Stanford Encyclopedia of Philosophy (2012)

22. Schroeder-Heister, P.: Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning. Topoi 31, 77–85 (2012)

23. Schroeder-Heister, P.: The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. Synthese 187, 925–942 (2012)

24. Stairs, A.: Could logic be empirical? The Putnam-Kripke debate. In: Chubb, J., Eskandarian, A., Harizanov, V. (eds.) Logic and Algebraic Structures in Quantum Computing and Information. Cambridge University Press, Cambridge (2015). Forthcoming

25. Westerståhl, D.: From constants to consequence, and back. Synthese 187, 957–971 (2012)

Found a mistake? Please highlight the word and press Shift + Enter  
< Prev   CONTENTS   Next >