@MISC{ROBBINS5.MIZ,
  AUTHOR = {Grabowski, Adam and Sawicki, Damian},
  TITLE = {On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander},
  SECTION1 = {Preliminaries: Sholander Axioms},
  SECTION2 = {Four Axioms for Lattices Proposed by McKenzie},
  DAY = {29},
  MONTH = {June},
  YEAR = {2018},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  ADDRESS2 = {Institute of Informatics\\University of Bia{\l}ystok\\Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {The main result of the article is to prove formally that two sets of axioms, proposed by
  McKenzie and Sholander, axiomatize lattices and distributive lattices, respectively.}}

