. "maximally consistent logic" . . "maximally consistent logic" .