Stabil logik