About this article
Published Online: Jan 09, 2021
Page range: 217 - 225
Accepted: May 31, 2020
DOI: https://doi.org/10.2478/forma-2020-0019
Keywords
© 2020 Dominik Kulesza et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
The main aim of this article is to introduce formally one of the generalizations of lattices, namely quasilattices, which can be obtained from the axiomatization of the former class by certain weakening of ordinary absorption laws. We show propositions QLT-1 to QLT-7 from [15], presenting also some short variants of corresponding axiom systems. Some of the results were proven in the Mizar [1], [2] system with the help of Prover9 [14] proof assistant.