A Note on Negation: A PCS-Completion of Semilattices