"many-valued logic" . . "many-valued logic" . .