Interpolation properties of superintuitionistic logics
type: Item
instance of: scholarly article
title: Interpolation properties of superintuitionistic logics
zbMATH Open document ID: 0435.03021
DOI: 10.1007/BF00370479
author: L. L. Maksimova
published in: Studia Logica
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3677808
zbMATH Keywords: interpolation
zbMATH Keywords: superintuitionistic logics
zbMATH Keywords: modal logic
MaRDI profile type: Publication
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Craig interpolation theorem for intuitionistic logic and extensions Part III
cites work: Q5641128
cites work: Q5582306
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Q4187817
cites work: Q4177682
cites work: Q5654015
cites work: Q5734410
cites work: Introduction to model theory and to the metamathematics of algebra
cites work: Q4133939
cites work: Der Interpolationssatz der intuitionistischen Prädikatenlogik
description: scientific article; zbMATH DE number 3677808