Попов, В. (1998) «Формализация нестандартных отношений выводимости в паранепротиворечивой логике.», Логические исследования, 60, сс. 116-125. doi: 10.21146/2074-1472-1998-6-0-116-125.