Many-valued logics - Rosser, Barkley (Studies in logic and the foundations of mathematics, 1958)