Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference32 articles.
1. Borisavljević, M., A cut-elimination proof in intuitionistic predicate logic, Annals of Pure and Applied Logic 99: 105–136, 1999.
2. Borisavljević, M., K. Došen, and Z. Petrić, On permuting cut with contraction, Mathematical Structures in Computer Science 10: 99–136, 2000.
3. Borisavljević, M., Two mesuares for proving Gentzen’s Hauptsatz without mix, Archive for Mathematical Logic 42: 371–387, 2003.
4. Borisavljević, M., A connection between cut elimination and normalization, Archive for Mathematical Logic 45(2): 113–148, 2006.
5. Borisavljević, M., Maximum segments and cuts, in Proceedings of the 6th Panhellenic Logic Symposium, July 25–28 2005, University of Athens, Greece, 2006, pp. 40–48.