Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Fundamenta Informaticae

1 2019

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Representation of Lattices with Modal Operators in Two-Sorted Frames

Hartonas Chrysafis, Orłowska Ewa

Fundamenta Informaticae

2019

Vol. 166, nr 1

29--56

We study general lattices with normal unary operators for which we prove relational representation and duality results. Similar results have appeared in print, using Urquhart’s lattice representation, by the second author with Vakarelov, Radzikowska and Rewitzky. We base our approach in this article on the Hartonas and Dunn lattice duality, proven by Gehrke and Harding to deliver a canonical lattice extension, and on recent results by the first author on the relational representation of normal lattice operators. We verify that the operators at the representation level (appropriately generated by relations) are the canonical extensions of the lattice operators, in Gehrke and Harding’s sense.