Pages that link to "Item:Q5217248"
From MaRDI portal
The following pages link to Modal translation of substructural logics (Q5217248):
Displaying 9 items.
- Modal translations in substructural logics (Q1198409) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- Nominal substitution at work with the global and converse modalities (Q2904047) (← links)
- (Q3509058) (← links)
- Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic (Q3771659) (← links)
- (Q4282526) (← links)
- A uniform framework for substructural logics with modalities (Q4645752) (← links)
- On the multi-dimensional modal logic of substitutions (Q5211025) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)