Pages that link to "Item:Q4925167"

The following pages link to Intuitionistic modal logic with a galois connection has the finite model property1 (Q4925167):

Displaying 1 item.

• Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (Q2353687) (← links)