Many-valued logics / by J. Barkley Rosser, Atwell R. Turquette