Project 1630

Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics

Leader: Kosta Došen

List of Recent Publications

    Books and Book Chapters

  1. K. Došen, Z. Petrić, Proof-Theoretical Coherence, KCL Publications, London, 2004.

    Papers in Scientific Journals

  2. Mirjana Borisavljević, Extended natural-deduction images of conversions from the system of secuents, Journal of Logic and Computation, 14 ( 2004), 769-799.
  3. M. Dezani-Ciancaglini, S. Ghilezan, S. Likavec, Behavioural inverse limit lambda models, Theoretical Computer Science 316 (1), 2004, pp. 47-74.
  4. S. Ghilezan, P. Lescanne, Classical proofs, typed processes and intersection types, TYPES 2003, Lecture Notes in Computer Science 3085, 2004, pp. 226-241.
  5. K. Došen and Z. Petrić, Bicartesian coherence, Studia Logica 71(2002), pp. 331-353 (
  6. M. Borisavljević, K. Došen and Z. Petrić, Kauffman monoids, Journal of Knot Theory and its Ramifications 11(2002), pp. 127-143 (
  7. Z. Petrić, Substructural coherence, Studia Logica vol.70, 2002, pp. 271-296 (
  8. S. Gilezan and S. Likavec, Reducibility: A ubiquitous method in lambda calculus with intersection types, Electronic Notes in Theoretical Computer Science, 70, 2002, p. 18
  9. P. Tanović, A note on countable models of 1-based theories, Archive for Mathematical Logic, 41, 2002, pp. 669-671
  10. M. Borisavljević, Two measures for proving Gentzen's Hauptsatz without mix, Archive for Mathematical Logic 42 (2003), pp. 371-387
  11. Z. Petrić, G-Dinaturality, Annals of Pure and Applied Logic 122 (2003), pp. 131-173 (
  12. K. Došen and Z. Petrić, Generality of proofs and its Brauerian representation, The Journal of Symbolic Logic 68(2003), pp. 740-750 (
  13. K. Došen and Z. Petrić, Self-adjunctions and matrices, Journal of Pure and Applied Algebra 184(2003), pp. 7-39 (
  14. K. Došen and Z. Petrić, A Brauerian representation of split preorders, Mathematical Logic Quarterly 49(2003), pp. 579-586 (
  15. K. Došen and Z. Petrić, The geometry of self-adjunction, Publications de l'Institut Mathématique (N.S.) 73(87) (2003), pp. 1-29 (
  16. K. Došen, Identity of proofs based on normalization and generality, The Bulletin of Symbolic Logic 9(2003), pp. 477-503 (

    Papers in Conference Proceedings

  17. L. Bettini, V. Bono, S. Likavec, A calculus of mixin-based incomplete objects, Proceedings of the 11th International Workshop on Foundations of Object-Oriented Languages, FOOL'04, 2004, pp. 29-41.
  18. S. Ghilezan, S. Likavec, Extensions of the reducibility method, Proceedings of the 4th Panhellenic Logic Symposium, 2004, pp. 107-112.

    Papers accepted for publication

  19. K. Došen, Models of deduction, in: P. Schroeder-Heister ed., Proceedings of the Workshop "Proof-Theoretic Semantics, Tübingen 1999", Oxford University Press, Oxford

    Submitted for publication

  20. K. Došen, Z. Kovijanić and Z. Petrić, A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras (
  21. K. Došen, Simplicial endomorphisms (