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 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...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2020-07-01
|
Series: | Formalized Mathematics |
Subjects: | |
Online Access: | https://doi.org/10.2478/forma-2020-0019 |