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: | Kulesza Dominik, Grabowski Adam |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2020-07-01
|
Series: | Formalized Mathematics |
Subjects: | |
Online Access: | https://doi.org/10.2478/forma-2020-0019 |
Similar Items
-
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
by: Grabowski Adam, et al.
Published: (2018-07-01) -
Super-De Morgan functions and free De Morgan quasilattices
by: Movsisyan Yuri, et al.
Published: (2014-12-01) -
Classification lattices are geometric for complete atomistic lattices
by: Mao Hua
Published: (2017-07-01) -
The subalgebra lattice of a finite algebra
by: Pióro Konrad
Published: (2014-07-01) -
Stone Lattices
by: Grabowski Adam
Published: (2015-12-01)