Free lattices proof-theoretically
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.
Download data is not yet available.
How to Cite