Analysis of a paradoxical logic: a case study.