Morphisms and Duality for Polarities and Lattices with Operators

zbMATH Open1513.06034arXiv1902.09783MaRDI QIDQ6314636FDOQ6314636

Publication date: 26 February 2019

Abstract: Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of morphism between polarity-based structures that generalises the theory of bounded morphisms for Boolean modal logics. It defines a category of such structures that is contravariantly dual to a given category of lattice-based algebras whose additional operations preserve either finite joins or finite meets. Two different versions of the Goldblatt-Thomason theorem are derived in this setting.

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Lattices and duality (06D50)

This page was built for publication: Morphisms and Duality for Polarities and Lattices with Operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6314636)