Pages that link to "Item:Q5928308"
From MaRDI portal
The following pages link to A proof of Gentzen's \textit{Hauptsatz} without multicut (Q5928308):
Displaying 11 items.
- A connection between cut elimination and normalization (Q818516) (← links)
- Cut-elimination for weak Grzegorczyk logic Go (Q2016062) (← links)
- Gentzen's consistency proof without heightlines (Q2377348) (← links)
- FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC (Q2804471) (← links)
- VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED (Q2890695) (← links)
- Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
- A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← links)
- Sequent calculus in natural deduction style (Q4328835) (← links)
- Structural proof theory for first-order weak Kleene logics (Q4995622) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)
