Diamond : a paradox logic - Hellerstein, N. S. (K & E series on knots and everything, 1997)