The following pages link to Linear logic displayed (Q918548):
Displaying 7 items.
- Current trends in substructural logics (Q266641) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Sequent Calculi for Normal Modal Propositional Logics (Q4291036) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)