Pages that link to "Item:Q5217248"

The following pages link to Modal translation of substructural logics (Q5217248):

Displaying 2 items.

• Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
• Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)