Many-Valued Logics sidottuEnglanti, 1993