The Craig interpolation theorem for propositional logics with strong negation
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.
axiomatic strengthenings of the intuitionistic calculus
scientific article; zbMATH DE number 3939331
scientific article