An abbreviation of Croisot's axiom-system for distributive lattices with $I$.
Bolesław Sobociński · Notre Dame Journal of Formal Logic · 1972
In [2] there have been established the axiom-systems which satisfy certain formal requirements defined in that paper for distributive lattices with the constant elements.Unfortunately, only when [2] was already composed and in the final proofs, and, therefore, could not be changed, I unexpectedly obtained a rather interesting result which makes the deductions presented in [2] obsolete, although they are entirely correct.Namely, I have proved that in the sets of postulates given in the assumptions of Theorem 2, cf.[2], section 3, axiom A17 is redundant.1 It is obvious, that if an algebraic system β= (A, n, u, /) with two binary operations n and u, and with a constant element Ie A, is a distributive lattice with /, then the following formulas