On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767)

Scott's schema S is \[ ((\neg \neg A\to A)\to (A\vee \neg A))\to (\neg A\vee \neg \neg A). \] The Kreisel-Putnam schema KP is \[ (\neg A\to (B\vee C))\to ((\neg A\to B)\vee (\neg A\to C)). \] SKP is the intermediate propositional logic: \(I+S+KP\), where I is intuitionistic logic. The author represents the relevant Kripke structures as posets and uses filtration techniques to prove that SKP has the finite model property and the disjunctive property. The proofs are accessible because they are carried out in great detail. He closes by pointing out problems in proving the completeness, with respect to Kripke structures, of Scott's system: \(I+S\).