Representation of lattices with modal operators in two-sorted frames
Επιτομή
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. © 2019 - IOS Press and the authors. All rights reserved.
Collections
Related items
Showing items related by title, author, creator and subject.
-
Analytical lattice Boltzmann solutions for thermal flow problems
Valougeorgis, D.; Naris, S. (2003)Analytical solutions based on two 13-bit (hexagonal and square) and one 17-bit square lattice Boltzmann BGK models have been obtained for the Couette flow, with a temperature gradient at the boundaries. The analytical ... -
Lattice boltzmann model as an innovative method for microfluidics
Szalmás, L. (2011)The lattice Boltzmann model is an innovative method to simulate gaseous or liquid flows. It successfully fills the gap between the macroscopic description, the Navier-Stokes equation, and particle based methods, such as ... -
Η μέθοδος Lattice Boltzmann στην υπολογιστική ρευστομηχανική
Μαραγκουδάκης, Σταύρος Μ. (2002)