Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Borisavljević, Mirjana
2021.
The subformula property of natural deduction derivations and analytic cuts.
Logic Journal of the IGPL,
Vol. 29,
Issue. 5,
p.
739.
Borisavljević, Mirjana
2022.
Maximum Segments as Natural Deduction Images of Some Cuts.
Logica Universalis,
Vol. 16,
Issue. 3,
p.
499.
Borisavljevic, Mirjana
2023.
The Elimination of Maximum Cuts in Linear Logic and BCK Logic.
Studia Logica,
Vol. 111,
Issue. 3,
p.
391.