, 2012, 'Conditional excluded middle without the limit assumption', Philosophy and Phenomenological Research 85 (2), 301-321.