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):
Displayed 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)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)
- Structural Rules in Natural Deduction with Alternatives (Q6200461) (← links)