Many - valued logics - Rosser, J.B (North-Holland Publishing Company, 1952)