The following pages link to Full intuitionistic linear logic (Q1314646):
Displaying 17 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)
- On sheaf cohomology and natural expansions (Q2054954) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC (Q3094188) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- (Q4993336) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- Multiple Conclusion Linear Logic: Cut Elimination and More (Q5283420) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Commutative Lambek grammars (Q6190089) (← links)
- Clones, closed categories, and combinatory logic (Q6629524) (← links)
