Desktop version

Home arrow Philosophy arrow Advances in Proof-Theoretic Semantics


1. Borisavljevic´, M., Došen, K., Petric´, Z.: On permuting cut with contraction. Math. Struct.

Comput. Sci. 10, 99–136 (2000).

2. Došen, K.: Deductive completeness. Bull. Symb. Log. 2(523), 243–283 (1996). For corrections

see [4], Section 5.1.7, and [5]

3. Došen, K.: Deductive systems and categories. Publications de l'Institut Mathématique N.S.

64(78), 21–35 (1998)

4. Došen, K.: Cut Elimination in Categories. Kluwer, Dordrecht (1999)

5. Došen, K.: Abstraction and application in adjunction. In: Kadelburg, Z. (ed.) Proceedings of the

Tenth Congress of Yugoslav Mathematicians, pp. 33–46. Faculty of Mathematics. University of Belgrade, Belgrade (2001) Available at:

6. Došen, K.: Models of deduction. In: Kahle, R., Schroeder-Heister, P. (eds.) Proof-Theoretic

Semantics, Proceedings of the Conference “Proof-Theoretic Semantics, Tübingen, 1999”, Synthese, vol. 148, pp. 639–657 (2006). Available at: htm

7. Došen, K.: Algebras of deductions in category theory. In: Jokanovic´ et al. (eds), Third Math-

ematical Conference of the Republic of Srpska, Proceedings, Trebinje 2013, Zbornik radova, vol. I, pp. 11–18. Univerzitet u Istocˇnom Sarajevu, Fakultet za proizvodnju i menadžment, Trebinje (2014). Available at:;, pp. 1–8

8. Došen, K.: Inferential semantics. In: Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning,

pp. 147–162. Springer, Cham (2015). Preprint of 2012 available at: kosta/publications.htm

9. Došen, K., Petric´, Z.: Proof-Theoretical Coherence. KCL Publications (College Publica-

tions), London (2004). Revised version of 2007 available at: publications.htm

10. Došen, K., Petric´, Z.: Proof-Net Categories. Polimetrica, Monza (2007). Preprint of 2005

available at:

11. Došen, K., Petric´, Z.: Weak cat-operads. (2010). Available as v8, the last version of the authors,


12. Došen, K., Petric´, Z.: Graphs of plural cuts. Theor. Comput. Sci. 484, 41–55 (2013). Available


13. Dyckhoff, R., Pinto, L.: Cut-elimination and a permutation-free sequent calculus for intuition-

istic logic. Studia Logica 60, 107–118 (1998)

14. Frege, G.: Die Grundlagen der Arithmetik: Eine logisch mathematische Untersuchung über den

Begriff der Zahl. Verlag von Wilhelm Koebner, Breslau (1884). English translation by Austin, J.L.: The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number, 2nd revised edn. Blackwell, Oxford (1974)

15. Hacker, P.M.S.: Wittgenstein: Rules, Grammar and Necessity–Essays and Exegesis of §§185-

242. Wiley-Blackwell, Chichester (2009). An Analytical Commentary on the Philosophical Investigations, 2nd extensively revised edn. (1st edn. of 1985 by Baker, G.P., Hacker, P.M.S.)

16. Harrah, D.: The logic of questions. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philo-

sophical Logic, vol. 8, pp. 1–60. Kluwer, Dordrecht (2002)

17. Kolmogorov, A.N.: Zur Deutung der intuitionistischen Logik. Mathematische Zeitschrift 35,

58-65 (1932). English translation by V.M. Volosov from a Russian translation by Uspensky, V.A.: On the interpretation of intuitionistic logic, Selected Works of Kolmogorov, A.N.: Mathematics and Mechanics, vol. 1, pp. 151–158 Kluwer, Dordrecht, (1991)

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

19. Rose, K.H.: Explicit substitution: tutorial and survey. In: BRICS Lecture Series. University of Aarhus, Aarhus (1996)

20. Schroeder-Heister, P.: Proof-theoretic versus model-theoretic consequence. In: Peliš, M. (ed.) The Logica Yearbook 2007, pp. 187–200. Prague (2008)

21. Schroeder-Heister, P.: The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. In: Lindström, S. et al. (eds.) The Philosophy of Logical Consequence and Inference, Proceedings of the Workshop “The Philosophy of Logical Consequence, Uppsala, 2008”, Synthese, vol. 187, pp. 925–942 (2012)

22. Schroeder-Heister, P., Contu, P.: Folgerung. In: Spohn, W., et al. (eds.) Logik in der Philosophie, pp. 247–276. Synchron, Heidelberg (2005)

23. Simpson, J., Weiner, E. (eds.): The Oxford English Dictionary, 2nd edn. Oxford University Press, Oxford (1989)

24. Vranas, P.B.M.: In defense of imperative inference. J. Philos. Log. 39, 59–71 (2010)

25. Wittgenstein, L.: Logisch-philosophische Abhandlung. Annalen der Naturphilosophie 14, 185– 262 (1921). English translation by Ogden, C.K.: Tractatus logico-philosophicus, Routledge, London (1922) new translation by Pears D.F., McGuinness B.F., Routledge, London, (1961)

26. Wittgenstein, L.: Philosophische Untersuchungen. Blackwell, Oxford (1953). English translation by Anscombe, G.E.M.: Philosophical Investigations, 4th edn. with revisions by Hacker P.M.S., Schulte J., Wiley-Blackwell, Oxford (2009)

27. Wittgenstein, L.: Wittgenstein's Lectures, Cambridge 1932-1935. In: Ambrose, A. (ed.) From the Notes of Alice Ambrose and Margaret Macdonald. Blackwell, Oxford (1979)

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