Pages that link to "Item:Q1407574"
From MaRDI portal
The following pages link to A normalizing system of natural deduction for intuitionistic linear logic (Q1407574):
Displaying 6 items.
- Bilateralism in proof-theoretic semantics (Q484102) (← links)
- Varieties of linear calculi (Q1868337) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- An Alternative Natural Deduction for the Intuitionistic Propositional Logic (Q2957671) (← links)
- (Q3322078) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)
