I use cookies to hold the authentication info for my users, and when logging them out, I simply reset the cookies:
// unset cookies
setcookie("cookie_user","");
setcookie("cookie_pw","");
// redirect to login page, or wherever
header("Location:http://$HTTP_HOST/$DOCROOT/default.html");
exit();