UvA-DARE (Digital Academic Repository) Positive Formulas in Intuitionistic and Minimal Logic Link to publication Citation for published version (APA): Positive Formulas in Intuitionistic and Minimal Logic

Abstract. In this article we investigate the positive, i.e. ¬, ⊥-free formulas of intuitionistic propositional and predicate logic, IPC and IQC, and minimal logic, MPC and MQC. For each formula ϕ of IQC we define the positive formula ϕ + that represents the positive content of ϕ. The formulas ϕ and ϕ + exhibit the same behavior on top models, models with a largest world that makes all atomic sentences true. We characterize the positive formulas of IPC and IQC as the formulas that are immune to the operation of turning a model into a top model. With the +-operation on formulas we show, using the uniform interpolation theorem for IPC, that both the positive fragment of IPC and MPC respect a revised version of uniform interpolation. In propositional logic the well-known theorem that KC is conservative over the positive fragment of IPC is shown to generalize to many logics with positive axioms. In first-order logic, we show that IQC + DNS (double negation shift) + KC is conservative over the positive fragment of IQC and similar results as for IPC