NORMAL DERIVATIONS AND SEQUENT DERIVATIONS-Reference-Cited by-同舟云学术

NORMAL DERIVATIONS AND SEQUENT DERIVATIONS

Published:2008-05-29 Issue:6 Volume:37 Page:521-548
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

Borisavljevi Mirjana

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s10992-008-9084-4.pdf

Reference14 articles.

1. Borisavljević, M.: Extended natural-deduction images of conversions from the system of sequents, Journal of Logic and Computation 14(6) (2004), 769–799.

2. Borisavljević, M.: Maximum segments and cuts. Proceedings of the 5th Panhellenic Logic Symposium, 40–48, July 25–28, 2005, Athens, Greece, 2005.

3. Borisavljević, M.: A connection between cut elimination and normalization, Archive for Mathematical Logic 45(2) (2006), 113–148.

4. Borisavljević, M.: Maximum Segments in Sequent Derivations, manuscript (2005).

5. Girard, J-Y., Taylor, P.: Proofs and Types, vol. 7 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1989.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Elimination of Maximum Cuts in Linear Logic and BCK Logic;Studia Logica;2022-12-15

2. Maximum Segments as Natural Deduction Images of Some Cuts;Logica Universalis;2022-08-23

3. The subformula property of natural deduction derivations and analytic cuts;Logic Journal of the IGPL;2020-06-17

4. Bibliography;Proof Theory;2014-07-30

5. Maximum cuts in extended natural deduction;Publications de l'Institut Math?matique (Belgrade);2010