Formalization of Trellises and Tolerance Relations
Adam Grabowski
Faculty of Computer Science, University of BiałystokPoland
Orcid profileSearch for this author on
and Dec 31, 2024
About this article
Published Online: Dec 31, 2024
Page range: 271 - 279
Accepted: Dec 27, 2024
DOI: https://doi.org/10.2478/forma-2024-0022
Keywords
© 2024 Adam Grabowski et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.
The main aim of this article is to construct two non-trivial examples of weakly associative lattices (also known as trellises). These are generalizations of lattices, not assuming associativity of the lattice operations. We show some connections between trellises and tolerance relations according to the paper of Chajda and Zelinka.