@MISC{LATWAL_2.MIZ,
  AUTHOR = {Grabowski, Adam and Turowski, Franciszek},
  TITLE = {Formalization of Trellises and Tolerance Relations},
  SECTION1 = {Preliminaries},
  SECTION2 = {Tolerance Structures},
  SECTION3 = {Compatibility Relation Revisited},
  SECTION4 = {WA-Lattices and Pseudo-Orders},
  SECTION5 = {ExNearLattice as an Example of WA-Lattice},
  SECTION6 = {WA-Lattices as Lattices vs. Relational Structures},
  SECTION7 = {Cycles and Tournaments},
  SECTION8 = {Another Example of Weakly-Associative Lattice},
  DAY = {27},
  MONTH = {December},
  YEAR = {2024},
  ADDRESS1 = {Faculty of Computer Science\\University of Bia{\l}ystok\\Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  ADDRESS2 = {Faculty of Computer Science\\University of Bia{\l}ystok\\Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {The main aim of this article is to construct two non-trivial examples 
  of weakly associative lattices (also known as trellises) as defined in \cite{LATWAL_1.ABS}.
  These are generalizations of lattices, not assuming associativity of the lattice operations.
  Some of the results were proven in the Mizar system with the help of Prover9 proof assistant. 
  We show some connections between trellises and tolerance relations according 
  to the paper of Chajda and Zelinka \cite{Chajda:1976}.}}

@article{Chajda:1976,
author = {Chajda, Ivan, Zelinka, Bohdan},
journal = {Czechoslovak Mathematical Journal},
number = {2},
pages = {259--269},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {Weakly associative lattices and tolerance relations},
url = {http://eudml.org/doc/12937},
volume = {26},
year = {1976},
}