The Craig interpolation theorem for prepositional logics with strong negation

Studia Logica 44 (3):291 - 317 (1985)
  Copy   BIBTEX

Abstract

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.

Author's Profile

Valentin Goranko
Stockholm University

Analytics

Added to PP
2009-01-28

Downloads
244 (#33,647)

6 months
54 (#16,744)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?