In this paper, some classical results of uniquely complemented lattices are extended to uniquely complemented posets (with 0 and 1) like Peirce's Theorem, the Birkhoff–von Neumann Theorem, the Birkhoff–Ward Theorem. Further, it is shown that a section semi-complemented pseudocomplemented poset is a Boolean poset.
['B. N. Waphare', 'Vinayak V. Joshi']
On Uniquely Complemented Posets