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)

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)