Kleene’s logic, generalized (1992)

by M Fitting
Venue:Journal of Logic and Computation