@MISC{LATQUASI.MIZ,
  AUTHOR = {Kulesza, Dominik and Grabowski, Adam},
  TITLE = {Formalization of Quasilattices},
  SECTION1 = {Preliminaries},
  SECTION2 = {Properties of Quasilattices: QLT-1},
  SECTION3 = {QLT-2},
  SECTION4 = {QLT-3},
  SECTION5 = {QLT-4: Bowden Inequality},
  SECTION6 = {Preliminaries to QLT-5: Modularity for Quasilattices},
  SECTION7 = {QLT-5},
  SECTION8 = {QLT-6},
  SECTION8 = {The Counterexample Needed to Prove QLT-7},
  DAY = {31},
  MONTH = {May},
  YEAR = {2020},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  ADDRESS2 = {Institute of Informatics\\University of Bia{\l}ystok\\Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {The main aim of this article is to introduce formally one of the
  generalization of lattices, namely quasilattices, which can be obtained from the
  former by certain weakening of ordinary absorption laws.
  We show QLT-1 to QLT-7 from \cite{Padma2008}, presenting also some
  short variants of corresponding axiom systems. Some of the results were
  proven in the Mizar system with the help of Prover9 proof assistant.}}

