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