The following pages link to Full intuitionistic linear logic (Q1314646):
Displayed 6 items.
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Experiments in linear natural deduction (Q1392279) (← links)
- A note on full intuitionistic linear logic (Q1919548) (← links)
- A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC (Q3094188) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- Proof theory in the abstract (Q5957852) (← links)