Certain sets of postulates for distributive lattices with the constant elements.
Bolesław Sobociński · Notre Dame Journal of Formal Logic · 1972
The single aim of this note is to establish such axiomatizations of distributive lattice with the constant elements, i.e. either with / and O, or with / only or with O only, that each of the equational axiom-systems presented here will contain one and only one axiom in which no constant element occurs.Since the constructions of such axiomatizations are related to certain results previously obtained and published by some other authors, the involved investigations will be referred to briefly in section 1.