Many-valued logics - Bolc, Leonard