Pages that link to "Item:Q2084573"

The following pages link to Maximum segments as natural deduction images of some cuts (Q2084573):

Displaying 1 item.

• The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)