论文信息 - The Craig interpolation theorem for prepositional logics with strong negation

The Craig interpolation theorem for prepositional logics with strong negation

This paper deals with, prepositional 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.

Valentin Goranko

[1] H. Rasiowa. An Algebraic Approach To Non Classical Logics , 1974 .

[2] Helena Rasiowa,et al. On constructible falsity in the constructive logic with strong negation , 1958 .

[3] Dimiter Vakarelov,et al. Notes on N-lattices and constructive logic with strong negation , 1977 .

[4] J. Czelakowski. Logical matrices and the amalgamation property , 1982 .

[5] Helena Rasiowa,et al. N-lattices and constructive logic with strong negation , 1958 .