Pages that link to "Item:Q4434498"
From MaRDI portal
The following pages link to Translations from natural deduction to sequent calculus (Q4434498):
Displaying 8 items.
- Maximum segments as natural deduction images of some cuts (Q2084573) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← 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)
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)