Publications of Kosta Dosen

 

Books

1) Hilbertovi problemi i logika (Hilbert's Problems and Logic, in Serbian; co-authors: Zoran Markovic and Zarko Mijajlovic), Matematicka biblioteka 48, Zavod za udzbenike i nastavna sredstva, Belgrade, 1986, 168 pp. (Mathematical Reviews 87i:03001; review in The Journal of  Symbolic Logic 52(1987), pp. 1049-1050) (djvu file, Errata pdf file).

2) Cut Elimination in Categories, Trends in Logic 6, Kluwer, Dordrecht, 1999, xii+229 pp. (Mathematical Reviews 2003e:18001) (Addenda and Corrigenda pdf file).

3) Proof-Theoretical Coherence (co-author: Zoran Petric), Studies in Logic 1, King's College Publications (College Publications), London, 2004, xiv+369 pp. (revised version pdf file).

4) Proof-Net Categories (co-author: Zoran Petric), Polimetrica, Monza, 2007, viii+147 pp. (inessentially different updated preprint version, Mathematical Institute, Belgrade, March 2005, viii+135 pp. pdf file, Addenda and Corrigenda for the printed version pdf file).

5) Graphs for Juncture (co-author: Zoran Petric), preprint, August 2012, viii+128 pp. (pdf file).

6) Osnovna logika (Basic Logic, in Serbian), preprint, June 2013, 115 pp. (pdf file).

 

Doctoral Thesis

Logical Constants: An Essay in Proof Theory, University of Oxford, 1980 (pdf file, djvu file).

 

Papers

1) A note on the law of identity and the converse Parry property, Notre Dame Journal of Formal Logic 19(1978), pp. 174-176 (Mathematical Reviews 58#167).

2) A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic, Journal of Philosophical Logic 10(1981), pp. 399-408 (Mathematical Reviews 83b:03017).

3) Minimal modal systems in which Heyting and classical logic can be embedded, Publications de l'Institut Mathématique (N.S.) 30(44) (1981), pp. 41-52 (Mathematical Reviews 84c:03034).

4) Axiomatizations of intuitionistic double negation (co-author: Milan Bozic), Polish Academy of Sciences, Bulletin of the Section of Logic 12(1983), pp. 99-104 (Mathematical Reviews 90g:03015).

5) Models for normal intuitionistic modal logics (co-author: Milan Bozic), Studia Logica 43(1984), pp. 217-245 (Mathematical Reviews 86h:03020)

6) Negative modal operators in intuitionistic logic, Publications de l'Institut Mathématique (N.S.) 35(49) (1984), pp. 3-14 (Mathematical Reviews 87c:03030).

7) Intuitionistic double negation as a necessity operator, Publications de l'Institut Mathématique (N.S.) 35(49) (1984), pp. 15-20 (Mathematical Reviews 87d:03041a).

8) An intuitionistic Sheffer function, Notre Dame Journal of Formal Logic 26(1985), pp. 479-482 (Mathematical Reviews 87b:03020).

9) Sequent-systems for modal logic, The Journal of Symbolic Logic 50(1985), pp. 149-168 (Mathematical Reviews 87b:03033).

10) A completeness theorem for the Lambek calculus of syntactic categories, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 31(1985), pp. 235-241 (Mathematical Reviews 87c:03015).

11) Models for stronger normal intuitionistic modal logics, Studia Logica 44(1985), pp. 39-70 (Mathematical Reviews 87d:03042).

12) Conservativeness and uniqueness (co-author: Peter Schroeder-Heister), Theoria 51(1985), pp. 159-173 (Errata, Theoria 52(1986), p.127; Mathematical Reviews 88d:03061 pdf file).

13) Negation as a modal operator, Reports on Mathematical Logic 20(1986), pp. 15-27 (Mathematical Reviews 88c:03024 pdf file).

14) Higher-level sequent-systems for intuitionistic modal logic, Publications de l'Institut Mathématique (N.S.) 39(53) (1986), pp. 3-12 (Mathematical Reviews 88c:03023).

15) Modal translations and intuitionistic double negation, Logique et Analyse (N.S.) 29(1986), pp. 81-94 (Mathematical Reviews 88c:0 3022 pdf file)

16) Negation and impossibility, in: J. Perzanowski ed., Essays on Philosophy and Logic, Jagiellonian University Press, Cracow, 1987, pp. 85-91 (Mathematical Reviews 88j:03002 pdf file).

17) A note on Gentzen's decision procedure for intuitionistic propositional logic, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 33(1987), pp. 453-456 (Mathematical Reviews 89f:03053).

18) Modal duality theory, in: Z. Stojakovic ed., Proceedings of the Conference ''Algebra and Logic'', Cetinje 1986, University of Novi Sad, Novi Sad, 1987, pp. 73-88 (Mathematical Reviews 89e:03114 pdf file).

19) Second-order logic without variables, in: W. Buszkowski, W. Marciszewski and J. van Benthem eds, Categorial Grammar, Benjamins, Amsterdam, 1988, pp. 245-264 (Mathematical Reviews 91b:03018 pdf file).

20) Uniqueness, definability and interpolation (co-author: Peter Schroeder-Heister), The Journal of Symbolic Logic 53(1988), pp. 554- 570 (Mathematical Reviews 89i:03058).

21) Sequent-systems and groupoid models I, Studia Logica 47(1988), pp. 353-385 (Mathematical Reviews 90g:03029).

22) Sequent-systems and groupoid models II, Studia Logica 48(1989), pp. 41-65 (Mathematical Reviews 91e:03026).

22a) Addenda and corrigenda to ''Sequent-systems and groupoid models'', Studia Logica 49(1990), p. 614 (Mathematical Reviews 92d:03015).

23) Logical constants as punctuation marks, Notre Dame Journal of Formal Logic 30(1989), pp. 362-381; reprinted in a slightly amended version in: D.M. Gabbay ed., What is a Logical System?, Oxford University Press, Oxford, 1994, pp. 273-296 (Mathematical Reviews 91m:030 57; review in The Journal of Symbolic Logic 61(1996), p. 1399; review in Studia Logica 61(1998), pp. 302-303).

24) Duality between modal algebras and neighbourhood frames, Studia Logica 48(1989), pp. 219-234 (Mathematical Reviews 91f:03030).

25) Normal modal logics in which the Heyting propositional calculus can be embedded, in: P.P. Petkov ed., Mathematical Logic, Plenum , New York, 1990, pp. 281-291 (Mathematical Reviews 92e:03020 pdf file).

26) Modal translations of Heyting and Peano arithmetic, Publications de l'Institut Mathématique (N.S.) 47(61) (1990), pp. 13-23 (Mathematical Reviews 92f:03014).

27) Rudimentary Beth models and conditionally rudimentary Kripke models for the Heyting propositional calculus, Journal of Logic and Computation 1(1991), pp. 613-634 (Mathematical Reviews 94a:03008).

28) Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus, Notre Dame Journal of Formal Logic 32(1991), pp. 580-597 (Mathematical Reviews 93b:03012).

29) Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic, Theoretical Computer Science 102(1992), pp. 207-214 (Mathematical Reviews 94e:03063).

30) Modal translations in substructural logics, Journal of Philosophical Logic 21(1992), pp. 283-336 (Mathematical Reviews 93i:03033).

31) The first axiomatization of relevant logic, Journal of Philosophical Logic 21(1992), pp. 339-356 (Mathematical Reviews 93i:03028).

32) A brief survey of frames for the Lambek calculus, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 38(1992), pp. 179-187 (Mathematical Reviews 95d:03043).

33) Modal logic as metalogic, Journal of Logic, Language and Information 1(1992), pp. 173-201 (Mathematical Reviews 95h:03036).

34) Rudimentary Kripke models for the intuitionistic propositional calculus, Annals of Pure and Applied Logic 62(1993), pp. 21-49 (Mathematical Reviews 94h:03011).

35) Modal translations in K and D, in: M. de Rijke ed., Diamonds and Defaults, Kluwer, Dordrecht, 1993, pp. 103-127 (Mathematical Reviews 96g:03027).

36) A historical introduction to substructural logics, in: K. Dosen and P. Schroeder-Heister eds, Substructural Logics, Oxford University Press, Oxford, 1993, pp. 1-30 (Mathematical Reviews 95g:03012; review in History and Philosophy of Logic 16(1995), pp. 138-139; review in Erkenntnis 45(1996), pp. 115-118).

37) Equality in substructural logics, in: W. Hodges, M. Hyland et al. eds., Logic, from Foundations to Applications: European Logic Colloquium, Oxford University Press, Oxford, 1996, pp. 71-85 (Mathematical Reviews 97m:03088).

38) Substructural predicates, in: W. Hodges, M. Hyland et al. eds., Logic, from Foundations to Applications: European Logic Colloquium, Oxford University Press, Oxford, 1996, pp. 87-101 (Mathematical Reviews 97m:03089).

39) Modal functional completeness (co-author: Zoran Petric), in: H. Wansing ed., Proof Theory of Modal Logic, Kluwer, Dordrecht, 1996, pp. 167-211 (Mathematical Reviews 97m:03034; review in The Journal of Symbolic Logic 64(1999), p. 1827).

40) Deductive completeness, The Bulletin of Symbolic Logic 2(1996), pp. 243-283, Errata, ibid. p. 523 (Mathematical Reviews 97j:03118; review in The Journal of Symbolic Logic 63(1998), pp. 1185-1186).

41) Logical consequence: A turn in style, in: M.L. Dalla Chiara, K. Doets, D. Mundici and J. van Benthem eds, Logic and Scientific Methods, Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, Kluwer, Dordrecht, 1997, pp. 289-311 (Mathematical Reviews 2002b:03010; review in Studia Logica 64(2000), pp. 443-448; preprint pdf file).

42) Isomorphic objects in symmetric monoidal closed categories (co-author: Zoran Petric), Mathematical Structures in Computer Science 7(1997), pp. 639-662 (Mathematical Reviews 2000b:18011).

43) An introduction to adjunction, Zbornik Radova (N.S.) 8(16) (1998), pp. 5-44 (Zentralblatt 990.72827).

43a) Addenda and corrigenda to an ''An introduction to adjunction'', Zbornik Radova (N.S.) 8(16) (1998), pp. 1-4.

44) Functions redefined, The American Mathematical Monthly 105(1998), pp. 631-635 (Mathematical Reviews 99h:04002).

45) Deductive systems and categories, Publications de l'Institut Mathématique (N.S.) 64(78) (1998), pp. 21-35 (Mathematical Reviews 99j:18001).

46) On passing from singular to plural consequences, in: E. Orlowska ed., Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag, Heidelberg, 1999, pp. 533-547 (Mathematical Reviews 2001h:03024; preprint pdf file).

47) Negation in the light of modal logic, in: D.M. Gabbay and H. Wansing eds, What is Negation?, Kluwer, Dordrecht, 1999, pp. 77-86 (Mathematical Reviews 2001g:03035; review in Studia Logica 69(2001), pp. 435-439, see p. 437).

48) Cut elimination in adjunction, Bulletin of the Section of Logic 28(1999), pp. 61-73 (Mathematical Reviews 2001a:03114).

49) Definitions of adjunction, in: W.A. Carnielli and I.M.L. D'Ottaviano eds, Advances in Contemporary Logic and Computer Science, Contemporary Mathematics 235, American Mathematical Society, Providence, 1999, pp. 113-126 (Mathematical Reviews 2000i:18003).

50) Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (co-author: Zoran Petric), The Journal of Symbolic Logic 64(1999), pp. 227-242 (Mathematical Reviews 2000f:03200 pdf file).

51) Le programme de Hilbert, in: J. Sallantin and J.-J. Szczeciniarz eds, Le concept de preuve a la lumiere de l'intelligence artificielle, Nouvelle Encyclopedie Diderot, Presses Universitaires de France, 1999, pp. 87-106; Italian translation: Il programma di Hilbert, in: J. Sallantin and J.-J. Szczeciniarz eds, Il concetto di prova alla luce dell'intelligenza artificiale, L. Luparia trad., Giuffre, Milano, 2005, pp. 97-115 (pdf file).

52) On permuting cut with contraction (co-authors: Mirjana Borisavljevic and Zoran Petric), Mathematical Structures in Computer Science 10(2000), pp. 99-136 (http://arXiv.org/math.LO/9911065).

53) The maximality of the typed lambda calculus and of cartesian closed categories (co-author: Zoran Petric), Publications de l'Institut Mathematique (N.S.) 68(82) (2000), pp. 1-19 (http://arXiv.org/math.CT/9911073).

54) The maximality of cartesian categories (co-author: Zoran Petric), Mathematical Logic Quarterly 47(2001), pp. 137-144 (http://arXiv.org/math.CT/9911059).

55) The typed Böhm Theorem (co-author: Zoran Petric), Electronic Notes in Theoretical Computer Science 50(2001), no 2, pp. 119-131 (http:// www.elsevier.nl/locate/entcs/volume50.html, preprint pdf file).

56) A note on the set-theoretic representation of arbitrary lattices, in: A. Krapez ed., A Tribute to S.B. Presic: Papers Celebrating his 65-th Birthday, Matematicki institut SANU, Belgrade, 2001, pp. 99-101 (http://arXiv.org/math.LO/0303005).

57) Coherent bicartesian and sesquicartesian categories (co-author: Zoran Petric), in: R. Kahle et al. eds, Proof Theory in Computer Science, Lecture Notes in Computer Science vol. 2183, Springer, Berlin, 2001, pp. 78-92 (http://arXiv.org/math.CT/0006091; revised version, with major corrections pdf file).

58) Abstraction and application in adjunction, in: Z. Kadelburg ed., Proceedings of the Tenth Congress of Yugoslav Mathematicians, Faculty of Mathematics, University of Belgrade, 2001, pp. 33-46 (http://arXiv.org/math.CT/0111061).

59) Bicartesian coherence (co-author: Zoran Petric), Studia Logica 71(2002), pp. 331-353 (http://arXiv.org/math.CT/0006052).

60) Kauffman monoids (co-authors: Mirjana Borisavljevic and Zoran Petric), Journal of Knot Theory and its Ramifications 11(2002), pp. 127-143 (http://arXiv.org/math.GT/0008187).

61) Self-adjunctions and matrices (co-author: Zoran Petric), Journal of Pure and Applied Algebra 184(2003), pp. 7-39 (http://arXiv.org/math.GT/0111058).

62) Generality of proofs and its Brauerian representation (co-author: Zoran Petric), The Journal of Symbolic Logic 68(2003), pp. 740-750 (http://arXiv.org/math.LO/0211090).

63) A Brauerian representation of split preorders (co-author: Zoran Petric), Mathematical Logic Quarterly 49(2003), pp. 579-586 (http://arXiv.org/math.LO/0211277).

64) The geometry of self-adjunction (co-author: Zoran Petric), Publications de l'Institut Mathematique (N.S.) 73(87) (2003), pp. 1-29 (http://arXiv.org/math.GT/0111058).

65) Identity of proofs based on normalization and generality, The Bulletin of Symbolic Logic 9(2003), pp. 477-503 (http://arXiv.org/math.LO/0208094).

66) Negation and involutive adjunctions (co-author: Zoran Petric), in: S. Artemov et al. eds, We Will Show Them: Essays in Honour of Dov Gabbay, vol. 1, College Publications, London, 2005, pp. 577-586 (http://arXiv.org/math.LO/0506302).

67) Coherence of proof-net categories (co-author: Zoran Petric), Publications de l'Institut Mathematique (N.S.) 78(92) (2005), pp. 1-33 (http://arXiv.org/math.CT/0503301).

68) Models of deduction, in: R. Kahle and P. Schroeder-Heister eds, proceedings of the conference ''Proof-Theoretic Semantics, Tuebingen 1999'', Synthese 148(2006), pp. 639-657 (Mathematical Reviews 2007a:03078; preprint pdf file).

69) Associativity as commutativity (co-author: Zoran Petric), The Journal of Symbolic Logic 71(2006), pp. 217-226 (http://arXiv.org/math.CT/0506600).

70) Coherence for star-autonomous categories (co-author: Zoran Petric), Annals of Pure and Applied Logic 141(2006), pp. 225-242 (http://arXiv.org/math.CT/0503306).

71) A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras (co-authors: Zana Kovijanic and Zoran Petric), International Journal of Algebra and Computation 16(2006), pp. 959-968 (http://arXiv.org/math.GT/0204214).

72) Symmetric self-adjunctions: A justification of Brauer's representation of Brauer's algebras (co-author: Zoran Petric), in: N. Bokan et al. eds, Proceedings of the Conference "Contemporary Geometry and Related Topics", Faculty of Mathematics, Belgrade, 2006, pp. 177-187 (http://arXiv.org/math.RT/0512102).

73) Medial commutativity (co-author: Zoran Petric), Annals of Pure and Applied Logic 146(2007), pp. 237-255 (http://arXiv.org/math.CT/0610934).

74) Coherence and confluence (co-author: Zoran Petric), in: J.-Y. Béziau and A. Costa-Leite, eds, Perspectives on Universal Logic, Polimetrica, Monza, 2007, pp. 205-215 (http://arXiv.org/math.CT/0506310).

75) Relevant categories and partial functions (co-author: Zoran Petric), Publications de l'Institut Mathematique (N.S.) 82(96) (2007), pp. 17-23 (http://arXiv.org/math.CT/050413).

76) Simplicial endomorphisms, Communications in Algebra 36(2008), pp.2681-2709 (http://arXiv.org/math.GT/0301302).

77) Equality of proofs for linear equality (co-author: Zoran Petric), Archive for Mathematical Logic 47(2008), pp. 549-565 (http://arXiv.org/math.LO/0601490).

78) Bicartesian coherence revisited (co-author: Zoran Petric), in: Z. Ognjanovic ed., Logic in Computer Science, Zbornik Radova 12(20) (2009), pp. 5-34 (arXiv:0711.4961).

79) Coherence in linear predicate logic (co-author: Zoran Petric), Annals of Pure and Applied Logic 158(2009), pp. 125-153 (arXiv:0709.1421).

80) Coherence for monoidal endofunctors (co-author: Zoran Petric), Mathematical Structures in Computer Science 20(2010), pp. 523-543 (arXiv:0907.2194).

81) Coherence for monoidal monads and comonads (co-author: Zoran Petric), Mathematical Structures in Computer Science 20(2010), pp. 545-561 (arXiv:0907.2199).

82) Coherence for modalities (co-author: Zoran Petric), Journal of Pure and Applied Algebra 215(2011), pp. 1606-1628 (arXiv:0809.2494).

83) Hypergraph polytopes (co-author: Zoran Petric), Topology and its Applications 158(2011), pp. 1405-1444 (arXiv:1010.5477).

84) A prologue to the theory of deduction, in: M. Pelis and V. Puncochar eds, The Logica Yearbook 2010, College Publications, London, 2011, pp. 65-80 (preprint pdf file).

85) Intermutation (co-author: Zoran Petric), Applied Categorical Structures 20(2012), pp. 43-95 (http://arXiv.org/math.CT/0701325).

86) Isomorphic formulae in classical propositional logic (co-author: Zoran Petric), Mathematical Logic Quarterly 58(2012), pp. 5-17 (arXiv:0912.1271).

87) Shuffles and concatenations in the construction of graphs (co-author: Zoran Petric), Mathematical Structures in Computer Science 22(2012), pp. 904-930 (Shuffles and concatenations in constructing of graphs, arXiv:1002.3577).

88) Symmetric self-adjunctions and matrices (co-author: Zoran Petric), Algebra Colloquium 19(2012), pp. 1051-1082 (http://arXiv.org/math.CT/0510039).

89) Syntax for split preorders (co-author: Zoran Petric), Annals of Pure and Applied Logic 164(2013), pp. 443-481 (arXiv:0902.0742).

90) Ordinals in Frobenius monads (co-author: Zoran Petric), Journal of Pure and Applied Algebra 217(2013), pp. 763-778 (arXiv:0809.2495).

91) Graphs of plural cuts (co-author: Zoran Petric), Theoretical Computer Science 484(2013), pp. 41-55 (arXiv:1104.4064).

92) Algebras of deductions in category theory, in: D. Jokanovic et al. eds, Third Mathematical Conference of the Republic of Srpska, Proceedings, Trebinje 2013, Zbornik radova, vol. I, Univerzitet u Istocnom Sarajevu, Fakultet za proizvodnju i menadzment, Trebinje, 2014, pp. 11-18 (preprint pdf file).

93) Inferential semantics, in: H. Wansing ed., Dag Prawitz on Proofs and Meaning, Springer, Cham, 2015, pp. 147-162 (preprint pdf file)

 

Preprints

94) Weak Cat-operads (co-author: Zoran Petric), to appear in Logical Methods in Computer Science (arXiv:1005.4633).

95) A planarity criterion for graphs (co-author: Zoran Petric), (arXiv:1203.0996).

96) On the paths of categories: An introduction to deduction, to appear in: T. Piecha and P. Schroeder-Heister eds, Advances in Proof-Theoretic Semantics, Springer, Berlin (preprint pdf file).

 

Book Editor

1) Substructural Logics (co-editor: Peter Schroeder-Heister), Oxford University Press, Oxford, 1993 (Mathematical Reviews 95a:03003; review in History and Philosophy of Logic 16(1995), pp. 138-139; review in Erkenntnis 45(1996), pp. 115-118).

 

Short Articles

1) Is it good to make others do something good?, Analysis 43(1983), pp. 199-201.

2) A puzzle about logical equivalence (under pseudonym), Analysis 44(1984), pp. 67-69.

3) Problems Section, Problem 27, Reports on Mathematical Logic 20(1986), p. 103 (cf. Reports on Mathematical Logic 21(1987), p. 101, A1P27).

4) One more reference on self-reference, The Mathematical Intelligencer 14(1992), no 4, pp. 4-5 (preprint pdf file).

5) K. Ajdukiewicz ''La connexion syntactique'', in: J.-F. Mattéi ed., Encyclopédie Philosophique Universelle, Vol. III, Tome 2, Les Oeuvres Philosophiques, Presses Universitaires de France, Paris, 1992, pp. 2964, 2966, 2967.

6) Ioan Doshenovich--the author of the ''Arithmetic'' (in Serbian, with an abstract in French), in: Proceedings of the Conference ''Natural and Mathematical Sciences among Serbs in the 18th and the First Half of the 19th Century'' (in Serbian), Srpska akademija nauka i umetnosti, Novi Sad, 1995, pp. 289-299; reprinted in an amended version under the title: The author of the ''Arithmetic'', the first Serbian university textbook (in Serbian, with an abstract in French), in: N. Bokan ed., Memorial Book: 125 Years of the Faculty of Mathematics (in Serbian), Univerzitet u Beogradu, Belgrade, 1998, pp. 128-138 (pdf file).

7) Tortuous application, The Mathematical Intelligencer 20(1998), no 1, p. 72 (preprint pdf file).

8) Logic, in: The Language of Science, Polimetrica, Monza (used to be available in 2007 at: http://www.polimetrica.org/Site/dosen.html pdf file).

9) General proof theory, introductory text for the Symposium on General Proof Theory, to appear in: P.E. Bour et al. eds, Proceedings of the 14th International Congress of Logic, Methodology and Philosophy of Science, Nancy, July 2011 (pdf file).

 

Abstracts

1) Sequent-systems for modal logic, The Journal of Symbolic Logic 49(1984), p. 689 (see Paper 9).

2) Higher-level sequent-systems for intuitionistic modal logic, Polish Academy of Sciences, Bulletin of the Section of Logic 14(1985), pp. 140-143 (see Paper 14).

3) Higher-level sequent-systems for intuitionistic modal logic, The Journal of Symbolic Logic 52(1987), p. 1088 (see Paper 14).

4) Modal translations and intuitionistic double negation, The Journal of Symbolic Logic 51(1986), pp. 485-486 (see Paper 15).

5) A general interpolation and definability theorem (co-author: Peter Schroeder-Heister), The Journal of Symbolic Logic 52(1987), pp. 315-316 (see Paper 20).

6) Weak propositional logics, The Journal of Symbolic Logic 52(1987), p. 315 (see Papers 21 and 22).

7) Normal modal logics in which the Heyting propositional calculus can be embedded, Polish Academy of Sciences, Bulletin of the Section of Logic 17(1988), pp. 23-33 (see Paper 25).

8) Rudimentary Kripke models for the Heyting propositional calculus, The Journal of Symbolic Logic 57(1992), pp. 292-293 (see Paper 34).

9) Kripke-style models for substructural logics, Publications du Centre International de Rencontres Math\'{e}matiques no 1(1992), p. 176 (see Paper 32).

10) Deductive completeness, Logic Journal of the Interest Group in Pure and Applied Logics 5(1997), p. 450 (see Paper 40).

11) Identity of proofs, The Bulletin of Symbolic Logic 9(2003), pp. 75-76 (see Paper 64).

 

Reviews

1) Theoria (Beograd) 3/4 (1976): A.R. Anderson and N.D. Belnap, Jr., Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, 1975.

2) Mathematical Reviews:

    - 85g:03031: H. Nishimura, A cut-free sequential system for the propositional modal logic of finite chains, Publ. Res. Inst. Math. Sci. 19(1983), 305-316.

    - 85g:03081: L. Malyaukene, Equivalence of some arithmetical systems, Mat. Logika Primenen. 2(1982), 9-30.

    - 85g:03082: L. Malyaukene, Free variable additive arithmetic with restricted difference, Mat. Logika Primenen. 2(1982), 31-40.

    - 85i:03044: B.F. Chellas, KGk,l,m,n and the EFMP, Logique et Anal. (N.S) 26(1983), 255-262.

    - 85i:03055: M.F. Ratsa, Functional completeness in modal logics, Izv. Akad. Nauk Moldav. SSR Ser. Fiz.-Tekhn. Mat. Nauk 1983, 37-39 (see 92m, p. 6619).

    - 85i:03065: O.M. Anshakov, S.V. Rychkov, Axiomatiztion of finite-valued logical calculi, Mat. Sb.(N.S.) 123(165) (1984), 477-495.

    - 85j:03033: V.N. Krivtsov, A type of formal negationless system, Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1984, 27-31.

    - 86a:03010: A.D. Yashin, Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models, Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1984, 12-15.

    - 86a:03024: Z. Sikic, Multiple forms of Gentzen's rules and some intermediate logics, Z. Math. Logik Grundlag. Math. 30(1984), 335-338.

    - 86b:03017: P. Wojtylak, Collapse of a class of infinite disjunctions in intuitionistic propositional logic, Rep. Math. Logic 16(1983), 37-49.

   - 86f:03046: A.Yu. Muravitskii, A result on the completeness of superintuitionistic logics, Mat. Zametki 36(1984), 765-776.

   - 86h:03041: Ya. M. Drugush, Finite approximability of forest superintuitionistic logics, Mat. Zametki 36(1984), 755-764.

    - 86i: 03049: E.H. Alves, Paraconsistent logic and model theory, Studia Logica 43(1984), 17-32.

    - 87a:03053: H. Ono, Y. Komori, Logics without the contraction rule, J. Symbolic Logic 50(1985), 169-201.

    - 87b:03045: D. Ballard, Independence in higher-order subclassical logic, Notre Dame J. Formal Logic 26(1985), 444-454.

    - 87d:03023: S. Yablo, Truth and reflection, J. Philos. Logic 14(1985), 297-349.

    - 87d:03038: S.N. Artemov, Nonarithmeticity of truth predicate logics of provability, Dokl. Akad. Nauk SSSR 284(1985), 270-271.

    - 87d:03082: P. Materna, ''Linguistic constructions'' in the transparent intensional logic, Prague Bull. Math. Linguist. 43(1985), 5-24.

    - 87d:03085: E. Orlowska, Logic of nondeterministic information, Studia Logica 44(1985), 91-100.

    - 87e:03030: K. Fine, Logics containing K4, II, J. Symbolic Logic 50(1985), 619-651.

    - 87f:03009: M. Fitting, Notes on the mathematical aspects of Kripke's theory of truth, Notre Dame J. Formal Logic 27(1986), 75-88.

    - 87f:03070: C. Rauszer, Formalizations of certain intermediate logics, I, Lecture Notes in Math. 1130, Springer, Berlin, 1985, 360-384.

    - 87g:01003: J. Vuillemin, Sur deux cas d'application de l'axiomatique à la philosophie: l'analyse du mouvement de Zénon d'Elée et l'analyse de la liberté par Diodore Kronos, Fund. Sci. 6(1985), 209-219.

    - 87i:03004: L.G. Antipenko, The Problem of Incompleteness of a Theory and its Epistemological Significance, Nauka, Moscow, 1986.

    - 87j:03028: J.P. Seldin, On the proof theory of the intermediate logic MH, J. Symbolic Logic 51(1986), 626-647.

    - 88a:03036: G. Bellin, A system of natural deduction for GL, Theoria 51(1985), 89-114.

    - 88d:03057: T. Weston, Approximate truth, J. Philos. Logic 16(1987), 203-227.

    - 88h:03086: S.N. Furs, Syllogistics of some theories, Z. Math. Logik Grundlag. Math. 33(1987), 31-42.

    - 88i:03010: M.V. Popovich et al., Proof and Understanding, Naukova Dumka, Kiev, 1986.

    - 88i:03018: E.N. Zalta, On the structural similarities between worlds and times, Philos. Stud. 51(1987), 213-239.

    - 89a:03037: Yu.V. Ivlev, Intensional construction of systems of modal logic, Logic of Scientific Knowledge, Nauka, Moscow, 1987, 159-172.

    - 89b:03033: J.M. M\'{e}ndez, Axiomatizing E\AE\ and R\AE\ with Anderson's and Belnap's ''strong and natural list of valid entailments'', Polish Acad. Sci. Bull. Sect. Logic 16(1987), 2-10.

    - 89b:03048: C.B. Daniels, Nonlogical consequences, Logique et Anal. (N.S.) 30(1987), 283-290.

    - 89f:01045: V.A. Bazhanov, On the sources of modern nonclassical logic, Patterns in the development of modern mathematics, Nauka, Moscow, 1987, 201-208.

    - 89h:03008: D. Doichinov, The parallel axiom and the continuum hypothesis, Fiz.-Mat. Spis. 29(62) (1987), 257-264.

    - 89i:03008: J.L. Pollock, The Foundations of Philosophical Semantics, Princeton University Press, Princeton, 1984.

    - 89m:03015: E. Orlowska, Entailment based on semantic relevance criteria, Mat. Logika Primenen. 5(1987), 54-67.

    - 90a:03015: C.R. Ceniza, Material implication and entailment, Notre Dame J. Formal Logic 29(1988) 510-519.

    - 90a:03028: A. Zbrzezny, The Gentzen type axiomatization of a three-valued propositional logic, Polish Acad. Sci. Bull. Sect. Logic 17(1988), 70-74.

    - 90a:03030: B.R. Boricic, On certain normalizable natural deduction formulations of some propositional intermediate logics, Notre Dame J. Formal Logic 29(1988) 563-568 (see 92m, p.6619).

    - 90d:03035: D.K. Lewis, Relevant implication, Theoria 54(1988), 162-174.

    - 90m:03013: M. Seymour, R\'{e}f\'{e}rence et identit\'{e}, Logique et Anal. (N.S.) 30(1987), 353-363.

    - 90m:03035: H. Friedman, M. Sheard, The equivalence of the disjunction and existence properties for modal arithmetic, J. Symbolic Logic 54(1989), 1456-1459.

    - 91b:03013: M. Sanchez-Mazas, Essai de représentation par les nombres réels d'une analyse infinie des notions individuelles dans une infinité de mondes possibles, Argumentation 3(1989), 75-96.

    - 91b:03032: L.D. Beklemishev, Classification of propositional provability logics, Izv. Akad. Nauk SSSR Ser. Mat. 53(1989), 915-943.

    - 91g:03038: M.N. Bezhanishvili, Doxastic propositional systems with one modal operator, Intensional logics and the logical structure of theories, Metsniereba, Tbilisi, 1988, 174-181.

    - 91g:03045: E.Yu. Nogina, Classes of arithmetic companions of modal provability logics, Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1990, 31-33.

    - 91m:03005: V.M. Abrusci, Sequent calculus for intuitionistic linear propositional logic, Mathematical Logic, Plenum, New York, 1990, 223-242.

    - 92a:03026: V.V. Rybakov, Problems of substitution and admissibility in the modal system Grz and in the intuitionistic propositional calculus, Ann. Pure Appl. Logic 50(1990), 71-106.

    - 92e:03012: G. Mints, Normalization theorems for the intuitionistic systems with choice principles, Mathematical Logic, Plenum, New York, 1990, 59-66.

    - 92f:03062: G. Mints, A strengthened normal form theorem for the predicate calculus, Eesti NSV Tead. Akad. Toimetised Füüs-Mat. 39(1990), 313-324.

    - 92j:03017: R.T. Brady, Gentzenization and decidability of some contractionless relevant logics, J. Philos. Logic 20(1991), 97-117.

    - 93e:03023: N. Denyer, Ease and difficulty: a modal logic with deontic applications, Theoria 56(1990), 42-61.

    - 93j:03013: A. Avron, Whither relevance logic?, J. Philos. Logic 21(1992), 243-281.

    - 93k:03023: E.D. Mares, Semantics for relevance logic with identity, Studia Logica 51(1992), 1-20.

    - 94b:03021: R. Dyckhoff, Contraction-free sequent calculi for intuitionistic logic, J. Symbolic Logic 57(1992), 795-807.

    - 94f:03024: P. Kremer, Quantifying over propositions in relevance logic: nonaxiomatizability of primary interpretations of ''p and $p, J. Symbolic Logic 58(1993), 334-349.

    - 94m:03036: S. Valentini, The sequent calculus for the modal logic D, Boll. Un. Mat. Ital. A (7) 7(1993), 455-460.

    - 94c:03039: C. Cerrato, Cut-free modal sequents for normal modal logics, Notre Dame J. Formal Logic 34(1993) 564-582.

    - 95j:03037: M. Takano, A sequent calculus for the Lesniewskian modal logic, Ann. Japan. Assoc. Philos. Sci. 8(1994), 191-201.

    - 95m:03014: V.N. Krivtsov, On the semantic completeness of logics of the creative subject, Uspekhi Mat. Nauk 49(1994), 205-206.

    - 95m:03016: A.D. Yashin, Smetanich's logic TF and two definitions of a new intuitionistic connective, Mat. Zametki 56(1994), 135-142, 158.

    - 96h:03022: W.A. Pogorzelski, A minimal implicational logic, in: J. Wolenski ed., Philosophical Logic in Poland, Kluwer, Dordrecht, 1994, 213-216.

    - 96j:03035: G. Restall, Modalities in substructural logics, Logique et Analyse (N.S.) 36(1993), 25-38.

    - 97a:03019: M. Tasic, Version intuitioniste du calcul des neg.-propositions (prédicats), Makedon. Akad. Nauk. Umet. Oddel. Mat.-Tehn. Nauk. Prilozi 14(1993), 5-12.

      (see also 93m:03036, 95k:03050).

3) Journal of Logic and Computation 3(1993), 219-222: J.P. Cleave, A Study of Logics, Oxford University Press, Oxford, 1991.

4) The Bulletin of Symbolic Logic 7(2001), 527-530: Greg Restall, An Introduction to Substructural Logics, Routledge, London, 2000.

 

Invited Talks at Conferences

1) Negation and impossibility, 30th Conference on the History of Logic, Cracow, October 1984 (see Paper 16).

2) Modal duality theory, 5th Conference ''Algebra and Logic'', Cetinje, June 1986 (see Paper 18).

3) Rudimentary Kripke models for the Heyting propositional calculus, Logic Colloquium '89, Berlin, July 1989 (see Papers 34, 27).

4) Rudimentary Kripke models, SNS Logic Colloquium, Tuebingen, March 1990 (see Papers 33, 27).

5) Modal logic as metalogic, 3rd Logical Biennial, Summer School and Conference in Honour of S.C. Kleene, Chaika, June 1990 (see Paper 33).

6) Metalogic, Workshop on Categorial Grammar, Linear Logic and Related Topics, Munich, July 1990 (see Paper 33).

7) Modality in substructural logics (one-week course), 3rd European Summer School in Language, Logic and Information, Saarbruecken, August 1991 (see Papers 33, 30).

8) Kripke-style models for substructural logics, 3rd Workshop ''Logic and Computer Science Around the 42nd Parallel'', Luminy, June 1992 (see Papers 32, 36).

9) An introduction to substructural logics, Logic Colloquium '93, Keele, July 1993 (see Paper 36).

10) Modal functional completeness, Proof Theory of Modal Logic, Hamburg, November 1993 (see Paper 39).

11) Functional completeness in substructural categories, Meeting on Mathematical Logic, Barcelona, January 1994.

12) Substructural logics, MEDLAR Workshop, Toulouse, February 1994.

13) Logical consequence: A turn in style, 10th International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (see Paper 41).

14) Deductive completeness in substructural logics, COST Conference on Many-Valued Logics in Computer Science, Lyon, November 1995.

15) Deductive completeness, 11th Brazilian Logic Conference, Salvador (Bahia), May 1996 (see Paper 40).

16) Deductive systems and categories, Golden Jubilee Symposium of the Mathematical Institute, Belgrade, December 1996 (see Paper 45).

17) Logical constants and adjunction, Cut elimination in adjunction, First VIEW Workshop of the Paulus Venetus Group, Padua, April 1998.

18) Models of proofs, Proof-Theoretic Semantics, Tuebingen, January 1999 (see Paper 68).

19) Set-theoretic axioms, lambda conversion and the deduction theorem, 10th Congress of Yugoslav Mathematicians, Belgrade, January 2001 (see Paper 57).

20) Conjunction and disjunction in categories, Proof Theory in Computer Science, Dagstuhl Castle, October 2001 (see Paper 56).

21) Identity of proofs, Logic Colloquium 2002, Muenster, August 2002 (see Paper 65).

22) Coherence in categories and logic, 11th Congress of the Mathematicians of Serbia and Montenegro, Petrovac, September 2004.

23) Coherence in general proof theory, Universal Logic, Montreux, March 2005.

24) Modal logic and Frobenius algebras, Advances in Constructive Topology and Logical Foundations, Padua, October 2008 (see Papers 82, 89).

25) Perspectives in general proof theory, Logica 2010, Hejnice, June 2010 (see Paper 84).

26) Logical constants and adjunction, Workshop on Logical Constants, ESSLLI 2011, Ljubljana, August 2011 (bibliography pdf file).

27) Invariants for classification of propositional formulae (together with Zoran Petric), Workshop "Cross Perspectives on Proof Systems and their Significance", Paris, May 2012.

28) The main question of general proof theory, Workshop on Proof Theory, Pisa, June 2012.

29) Inferential semantics, Workshop "Dag Prawitz on Proofs and Meaning", Bochum, September 2012 (see paper 93).

30) Two ways of general proof theory, Second Conference on Proof-Theoretic Semantics, Tuebingen, March 2013 (see paper 96).

31) Algebras of deductions in category theory, Third Mathematical Conference of the Republic of Srpska, Trebinje, June 2013 (see paper 92).

32) Intuitionistic logic in categorial proof theory, Constructive Mathematics: Foundations and Practice, Nis, June 2013.

33) Proof theory and deduction theory, Proof, Bern, September 2013.

34) An introduction to deduction, Conference on Hypothetical Reasoning, Tuebingen, August 2014 (see paper 96).

   

Contributed Papers at Conferences

1) Sequent-systems for modal logic, Logic Colloquium '82, Florence, August 1982 (see Paper 9).

2) Minimal modal systems in which Heyting and classical logic can be embedded, 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg, July 1983 (in Abstracts, vol.1, p. 15; see Paper 3).

3) An intuitionistic Sheffer function, 4th Conference ''Algebra and Logic'', Zagreb, June 1984 (see Paper 8).

4) Modal translations and intuitionistic double negation (by title), Logic Colloquium '84, Manchester, July 1984 (see Paper 15).

5) Weak propositional logics, Logic Colloquium '85, Paris, July 1985 (see Papers 21, 22).

6) A general interpolation and definability theorem (co-author: Peter Schroeder-Heister), Logic Colloquium '85, Paris, July 1985 (see Paper 20).

7) Higher-level sequent-systems for intuitionistic modal logic (by title), Logic Colloquium '86, Hull, July 1986 (see Paper 14).

8) A note on Gentzen's decision procedure for intuitionistic propositional logic, First Yugoslav Seminar ''Logic and Computer Science'', Novi Sad, October 1987 (see Paper 17).

9) Normal modal logics in which the Heyting propositional calculus can be embedded, Summer School and Conference Honourably Dedicated to the 90th Anniversary of Arend Heyting, Chaika, September 1988 (see Paper 25).

10) Nonreflexive Kripke models for intuitionistic propositional logic, 2nd Yugoslav Seminar ''Logic and Computer Science'', Ohrid, September 1988 (see Papers 25, 34).

11) Modal translations of Heyting and Peano arithmetic, 7th Conference ''Algebra and Logic'', Maribor, June 1989 (see Paper 26).

12) The first substructural logic, Conference on Logics with Restricted Structural Rules, Tübingen, October 1990 (see Paper 31).

13) Ioan Doshenovich--the author of the ''Arithmetic'' (by title), Conference ''Natural and Mathematical Sciences among Serbs in the 18th and the First Half of the 19th Century'', Novi Sad, June 1995 (see Short Article 6).

14) Post-completeness of comonads, Conference in Honour of S. Presic, Belgrade, September 1998.

15) Prospects in proof theory, International Congress MASSEE 2003, Borovets, September 2003.

16) Partial maps and relevant logic (co-author: Zoran Petric), The Relevance of Logic, Belgrade, May 2005 (see Paper 75).

17) The geometry of self-adjunction (co-author: Zoran Petric), Contemporary Geometry and Related Topics, Belgrade, June 2005 (see Papers 64, 72).

18) Coherence in predicate logic, Logic Days, Novi Sad, December 2007 (see Paper 79).

19) Democracy and mathematics, Democracy and Truth, Belgrade, October 2013.

 

Links

1) Ilijada ili Pesma o sili pdf file

2) Glossaire portatif pdf file

3) Anabaza i druge pesme pdf file

4) Kalimajdan pdf file

5) Napomene za Kalimajdan pdf file

6) Prestonica u leto pdf file

7) Dva prevoda pdf file

8) Kraj tuznih tropa pdf file

9) Problem muzeja pdf file

10) O strogosti u nauci pdf file

11) Ostale publikacije pdf file