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

DOI10.1007/BF01881549zbMath0615.03010MaRDI QIDQ1820767

Pierluigi Minari

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

filtrationposetsKripke structuresfinite model propertyintuitionistic logicdisjunctive propertyintermediate propositional logicKreisel-Putnam schemaScott's schemaScott's systemSKP

Mathematics Subject Classification ID

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

Related Items

Intermediate logics with the same disjunctionless fragment as intuitionistic logic, Canonical formulas for a paraconsistent analog of the Scott logic, An infinite class of maximal intermediate propositional logics with the disjunction property

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• Semantical investigations in Heyting's intuitionistic logic
• On fragments of Medvedev's logic
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• The decidability of certain intermediate propositional logics
• The decidability of the Kreisel-Putnam system
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable