The following pages link to Mirjana Borisavljević (Q818515):
Displaying 20 items.
- A connection between cut elimination and normalization (Q818516) (← links)
- A cut-elimination proof in intuitionistic predicate logic (Q1304543) (← links)
- Two measures for proving Gentzen's Hauptsatz without mix (Q1407599) (← links)
- Maximum segments as natural deduction images of some cuts (Q2084573) (← links)
- Normal form theorem for systems of sequents (Q3510440) (← links)
- Normalization as a consequence of cut elimination (Q3655015) (← links)
- (Q4357099) (← links)
- (Q4451468) (← links)
- On permuting cut with contraction (Q4487267) (← links)
- Kauffman Monoids (Q4541082) (← links)
- AN ANALYSIS OF THE RULES OF GENTZEN’S<b><i>NJ</i></b>AND<b><i>LJ</i></b> (Q4577998) (← links)
- Extended Natural Deduction Images of Conversions from the System of Sequents (Q4659951) (← links)
- (Q4874794) (← links)
- (Q4899876) (← links)
- The normalization theorem for extended natural deduction (Q4985610) (← links)
- The subformula property of natural deduction derivations and analytic cuts (Q5014060) (← links)
- Maximum cuts in extended natural deduction (Q5396481) (← links)
- Minimum segments in sequent derivations (Q5714811) (← links)
- (Q5869659) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)
