On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander.
Saved in:
| Title: | On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. |
|---|---|
| Authors: | Grabowski, Adam1, Sawicki, Damian1 |
| Source: | Formalized Mathematics. Jul2018, Vol. 26 Issue 2, p193-198. 6p. |
| Database: | Academic Search Ultimate |
| ISSN: | 14262630 |
|---|---|
| DOI: | 10.2478/forma-2018-0017 |