Pages that link to "Item:Q1029828"
From MaRDI portal
The following pages link to Normal derivations and sequent derivations (Q1029828):
Displaying 6 items.
- A connection between cut elimination and normalization (Q818516) (← links)
- Maximum segments as natural deduction images of some cuts (Q2084573) (← links)
- A normal form for logical derivations implying one for arithmetic derivations (Q2367413) (← links)
- Normal form theorem for systems of sequents (Q3510440) (← links)
- Maximum cuts in extended natural deduction (Q5396481) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)