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

DOI10.1007/BF01881549MaRDI QIDQ1820767zbMATH OpenFDO

Authors Pierluigi Minari

Publication date 1986

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01881549

zbMATH Keywords

disjunctive propertyfiltrationfinite model propertyintermediate propositional logicintuitionistic logicKreisel-Putnam schemaKripke structuresposetsScott's schemaScott's systemSKP

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Review text

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\).

Recommendations

• On models of paraconsistent logic with Kreisel-Putnam's and Scott's axioms
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
• An infinite class of maximal intermediate propositional logics with the disjunction property
• On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains
• Constants in Kripke Models for Intuitionistic Logic

Cites work

• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 3280029 (Why is no real title available?)
• scientific article; zbMATH DE number 3307485 (Why is no real title available?)
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• On fragments of Medvedev's logic
• Semantical investigations in Heyting's intuitionistic logic
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
• The decidability of certain intermediate propositional logics
• The decidability of the Kreisel-Putnam system

Cited in

(5)

• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• An infinite class of maximal intermediate propositional logics with the disjunction property
• On models of paraconsistent logic with Kreisel-Putnam's and Scott's axioms
• Canonical formulas for a paraconsistent analog of the Scott logic
• scientific article; zbMATH DE number 269844 (Why is no real title available?)

This page was built for publication: On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820767)