English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Open

Presents the pdf analysis as premium feature

PDF Analysis

Insights

Presents the summarisation as premium feature

Summarisation

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

This paper studies expansions of bounded distributive lattices equipped witha Galois connection. We introduce GC-frames and canonical frames for thesealgebras. The complex algebras of GC-frames are defined in terms of rough setapproximation operators. We prove that each bounded distributive lattice with aGalois connection can be embedded into the complex algebra of its canonicalframe. We show that for every spatial Heyting algebra $L$ equipped with aGalois connection, there exists a GC-frame such that $L$ is isomorphic to thecomplex algebra of this frame, and an analogous result holds for weakly atomicHeyting-Brouwer algebras with a Galois connection. In each case ofrepresentation, given Galois connections are represented by rough set upper andlower approximations.

Representing distributive lattices with Galois connections in terms of rough sets