Stabila loģika