Pages that link to "Item:Q4882488"
From MaRDI portal
The following pages link to Reductions in Intuitionistic Linear Logic (Q4882488):
Displaying 8 items.
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Reduction and introducers in \(d\)-contexts (Q2294543) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Describing a basis in semireduced form for inference rules of intuitionistic logic (Q2746913) (← links)
- (Q3026351) (← links)
- (Q3191294) (← links)
- (Q4809790) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)