Patrick Cégielski The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable. 138-150 1989 30 Notre Dame Journal of Formal Logic 1 db/journals/ndjfl/ndjfl30.html#Cegielski89