Free lattices proof-theoretically

Abstract

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.