Acerca de este artículo
Publicado en línea: 09 ene 2021
Páginas: 217 - 225
Aceptado: 31 may 2020
DOI: https://doi.org/10.2478/forma-2020-0019
Palabras clave
© 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.