%0 Journal Article %A Goranko, Valentin %D 1985 %I Springer %J Studia Logica %N 3 %P 291 - 317 %T The Craig interpolation theorem for prepositional logics with strong negation %V 44