W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17802| Tytuł: | Formalization of Trellises and Tolerance Relations |
| Autorzy: | Grabowski, Adam Turowski, Franciszek |
| Słowa kluczowe: | trellis tolerance weakly associative lattice |
| Data wydania: | 2024 |
| Data dodania: | 10-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 271–279 |
| Abstrakt: | 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. |
| Afiliacja: | Adam Grabowski - Faculty of Computer Science, University of Białystok, Poland Franciszek Turowski - Faculty of Computer Science, University of Białystok, Poland |
| URI: | http://hdl.handle.net/11320/17802 |
| DOI: | 10.2478/forma-2024-0022 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0001-5026-3990 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2024 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2024, Volume 32, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Formalization-of-Trellises-and-Tolerance-Relations.pdf | 278,57 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
