Free lattices proof-theoretically
Tomasz Kowalski · The Australasian Journal of Logic · 2020
A sequent system is used to give alternative proofs of two well known properties of free lattices: Whitman’s condition and semidistributivity. It demonstrates usefulness of such proof systems outside logic.