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/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Structures based on polarities have been used to provide relational semanticsfor propositional logics that are modelled algebraically by non-distributivelattices with additional operators. This article develops a first order notionof morphism between polarity-based structures that generalises the theory ofbounded morphisms for Boolean modal logics. It defines a category of suchstructures that is contravariantly dual to a given category of lattice-basedalgebras whose additional operations preserve either finite joins or finitemeets. Two different versions of the Goldblatt-Thomason theorem are derived inthis setting.

Morphisms and Duality for Polarities and Lattices with Operators