Pages that link to "Item:Q2424887"
From MaRDI portal
The following pages link to Formalized meta-theory of sequent calculi for linear logics (Q2424887):
Displaying 4 items.
- A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- A linear algebra approach to linear metatheory (Q6657791) (← links)
