<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Formalization of Quasilattices

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

{"article-title":"Formalization of Quasilattices"}

The main aim of this article is to introduce formally one of the generalizations of lattices, namely quasilattices, which can be obtained from the...

Formalization of Quasilattices

Pubblicato online: 09 gen 2021

Pagine: 217 - 225

Accettato: 31 mag 2020

DOI: https://doi.org/10.2478/forma-2020-0019

Parole chiave
lattice theory, quasilattice, absorption law

© 2020 Dominik Kulesza et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Formalization of Quasilattices

Pubblicato online: 09 gen 2021

Pagine: 217 - 225

Accettato: 31 mag 2020

DOI: https://doi.org/10.2478/forma-2020-0019

Parole chiavelattice theory, quasilattice, absorption law

© 2020 Dominik Kulesza et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Parole chiave
lattice theory, quasilattice, absorption law