On the simple substitution property for superintuitionistic and modal propositional logics
type: Item
instance of: scholarly article
title: On the simple substitution property for superintuitionistic and modal propositional logics
zbMATH Open document ID: 1269.03026
DOI: 10.1134/S1064562408060318
author: V. I. Khomich
published in: Doklady Mathematics
publication date: 2011-06-08T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 5905474
zbMATH Keywords: simple substitution property
zbMATH Keywords: modal propositional logics
zbMATH Keywords: normal extensions of S4
zbMATH Keywords: superintuitionistic propositional logics
MaRDI profile type: Publication
cites work: Q5812175
cites work: Q5335309
cites work: Q4866422
cites work: The simple substitution property of the intermediate propositional logics on finite slices
cites work: Pretabular extensions of Lewis S4
cites work: Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
cites work: Some theorems about the sentential calculi of Lewis and Heyting
full work available at URL: s1064562408060318
OpenAlex ID: W2050326992
description: scientific article; zbMATH DE number 5905474