Many-Valued Logics 2 door Leonard Bolc & Piotr Borowiec