Pages that link to "Item:Q5251185"

The following pages link to Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation (Q5251185):

Displayed 6 items.

• 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)
• 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)
• The elimination of maximum cuts in linear logic and BCK logic (Q6161950) ‎ (← links)