Open Access
1962 Six new sets of independent axioms for distributive lattices with $O$ and $I$.
Bolesław Sobociński
Notre Dame J. Formal Logic 3(3): 187-192 (1962). DOI: 10.1305/ndjfl/1093957238
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.3 • No. 3 • 1962
Back to Top