A short note on lattices allowing disjunctive reasoning

A short note on lattices allowing disjunctive reasoning