The Craig interpolation theorem for propositional logics with strong negation (Q1071753)

This paper deals with propositional calculi with strong negation (N- logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.