On the simple substitution property for superintuitionistic and modal propositional logics

DOI10.1134/S1064562408060318zbMATH Open1269.03026OpenAlexW2050326992MaRDI QIDQ542292FDOQ542292

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

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

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)

Cites Work

• Title not available (Why is that?)
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Some theorems about the sentential calculi of Lewis and Heyting
• Title not available (Why is that?)
• Pretabular extensions of Lewis S4
• The simple substitution property of the intermediate propositional logics on finite slices
• Title not available (Why is that?)

Cited In (3)

• On the property of simple substitution for superintuitionistic propositional logics.
• Title not available (Why is that?)
• Title not available (Why is that?)

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)