Remarks on Special Lattices and Related Constructive Logics with Strong Negation