S. P. Odintsov, “‘Reductio ad absurdum’ and Łukasiewicz’s modalities”, LLP, no. 11-12, pp. 149–166, Nov. 2003.