On the simple substitution property for superintuitionistic and modal propositional logics

DOI10.1134/S1064562408060318MaRDI QIDQ542292zbMATH OpenOpenAlexFDO

Authors V. I. Khomich

Publication date 8 June 2011

Published in Doklady Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064562408060318

zbMATH Keywords

modal propositional logicsnormal extensions of S4simple substitution propertysuperintuitionistic propositional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• On the property of simple substitution for superintuitionistic propositional logics.
• scientific article; zbMATH DE number 736425
• Metalogic of intuitionistic propositional calculus
• Publication:3474634
• The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s

Cites work

• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• scientific article; zbMATH DE number 850397 (Why is no real title available?)
• scientific article; zbMATH DE number 3208243 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Pretabular extensions of Lewis S4
• Some theorems about the sentential calculi of Lewis and Heyting
• The simple substitution property of the intermediate propositional logics on finite slices

Cited in

(3)

• On the property of simple substitution for superintuitionistic propositional logics.
• scientific article; zbMATH DE number 5827852 (Why is no real title available?)
• scientific article; zbMATH DE number 736425 (Why is no real title available?)

This page was built for publication: On the simple substitution property for superintuitionistic and modal propositional logics

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