Pages that link to "Item:Q1198409"
From MaRDI portal
The following pages link to Modal translations in substructural logics (Q1198409):
Displaying 14 items.
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- Modal logic as metalogic (Q1314285) (← links)
- Reflections on ``difficult'' embeddings (Q1344853) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (Q4254631) (← links)
- A modal view of linear logic (Q4314678) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
