The following pages link to Full intuitionistic linear logic (Q1314646):
Displaying 28 items.
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- New Curry-Howard terms for full linear logic (Q1390952) (← links)
- Experiments in linear natural deduction (Q1392279) (← links)
- A normalizing system of natural deduction for intuitionistic linear logic (Q1407574) (← 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)
- On the meaning of logical rules. II: Multiplicatives and additives (Q2752054) (← links)
- Annotation-free sequent calculi for full intuitionistic linear logic (Q2958523) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC (Q3094188) (← links)
- Constructing Fully Complete Models of Multiplicative Linear Logic (Q3196336) (← links)
- A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic (Q3413927) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories (Q4342439) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- (Q4731165) (← links)
- PURE LOGIC OF ITERATED FULL GROUND (Q4961738) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- (Q4993336) (← links)
- Multiple conclusion linear logic: cut elimination and more (Q5108019) (← 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)
