Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference21 articles.
1. Borisavljević, M.: A connection between cut elimination and normalization. Arch. Math. Logic 45(2), 113–148 (2006)
2. Borisavljević, M.: Maximum segments and cuts. In: Proceedings of the 6th panhellenic logic symposium, July 25-28, 2005, University of Athens, Greece, 40-48 (2006a)
3. Borisavljević, M.: Normal derivations and sequent derivations. J. Philos. Log. 37(6), 521–548 (2008)
4. Borisavljević, M.: Normalization as a consequence of cut elimination. Publications de l’Institut Mathematique, Mathematical Institute of the Serbian Academy of Sciences and Arts 86(100), 27–34 (2009)
5. Borisavljević, M.: An analysis of the rules of Gentzen’s $$LJ$$ and $$NJ$$. Rev. Symbolic Logic 11(2), 347–370 (2018)