We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations

Authors: Chrysafis (Takis) Hartonas
Abstract: We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over that of [14] in two important respects. First, the axiomatization of frames in [14] was rather cumbersome and it is now simplified, partly by incorporating Gehrke's proposal [8] of section stability for relations. Second, morphisms are redefined so as to preserve Galois stable (and co-stable) sets and we rely for this, partly again, on Goldblatt's [11] recently proposed definition of bounded morphisms for polarities, though we need to strengthen the definition in order to get a Stone duality result.
In studying the dual algebraic structures associated to polarities with relations we demonstrate that stable/co-stable set operators result as the Galois closure of the restriction of classical (though sorted) image operators generated by the frame relations to Galois stable/co-stable sets. This provides a proof, at the representation level, that non-distributive logics can be viewed as fragments of sorted, residuated (poly)modal logics, a research direction initiated in [16,17].
Comments: arXiv admin note: substantial text overlap with arXiv:2109.11597
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
Cite as: arXiv:2110.06924 [math.LO]
  (or arXiv:2110.06924v1 [math.LO] for this version)

Submission history

From: Chrysafis (Takis) Hartonas [view email]
[v1] Wed, 13 Oct 2021 17:59:41 GMT (34kb)

Link back to: arXiv, form interface, contact.