Pages that link to "Item:Q4577998"

The following pages link to AN ANALYSIS OF THE RULES OF GENTZEN’S<b><i>NJ</i></b>AND<b><i>LJ</i></b> (Q4577998):

Displayed 2 items.

• Maximum segments as natural deduction images of some cuts (Q2084573) ‎ (← links)
• The elimination of maximum cuts in linear logic and BCK logic (Q6161950) ‎ (← links)