Logics based on linear orders of contaminating values