Pages that link to "Item:Q4659951"
From MaRDI portal
The following pages link to Extended Natural Deduction Images of Conversions from the System of Sequents (Q4659951):
Displaying 8 items.
- A connection between cut elimination and normalization (Q818516) (← links)
- Gentzenizing Schroeder-Heister's natural extension of natural deduction (Q923083) (← links)
- Normal derivations and sequent derivations (Q1029828) (← links)
- Commuting conversions vs. the standard conversions of the ``good'' connectives (Q1037589) (← links)
- Existential instantiation and normalization in sequent natural deduction (Q1198828) (← links)
- AN ANALYSIS OF THE RULES OF GENTZEN’S<b><i>NJ</i></b>AND<b><i>LJ</i></b> (Q4577998) (← links)
- From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction (Q4608555) (← links)
- Cut Elimination, Substitution and Normalisation (Q5213610) (← links)