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