Many-valued logics - Rosser, John Barkley 1907-1989; Turquette, Atwell Rufus (North-Holland Publ. Comp., 1952)