Pages that link to "Item:Q5251185"
From MaRDI portal
The following pages link to Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation (Q5251185):
Displaying 10 items.
- A negationless interpretation of intuitionistic theories. I (Q1577359) (← links)
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- Maximum segments as natural deduction images of some cuts (Q2084573) (← links)
- (Q2778837) (← links)
- Strong cut-elimination in sequent calculus using Klop's <i>ι</i>-translation and perpetual reductions (Q3617369) (← links)
- AN ANALYSIS OF THE RULES OF GENTZEN’S<b><i>NJ</i></b>AND<b><i>LJ</i></b> (Q4577998) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Cut Elimination, Substitution and Normalisation (Q5213610) (← links)
- (Q5506345) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)