The interpolation problem in finite-layered pre-Heyting logics
type: Item
instance of: scholarly article
title: The interpolation problem in finite-layered pre-Heyting logics
zbMATH Open document ID: 1468.03030
author: Veta Fedorovna Yun
author: L. L. Maksimova
published in: Algebra and Logic
publication date: 2019-12-06T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 7140978
zbMATH Keywords: finite-layered pre-Heyting logic
zbMATH Keywords: Craig's interpolation property
zbMATH Keywords: Johansson algebra
MaRDI profile type: Publication
full work available at URL: s10469-019-09533-3
OpenAlex ID: W2963200439
cites work: Q5764366
cites work: $$\mu $$ μ -Levels of Interpolation
cites work: Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Extensions of the minimal logic and the interpolation problem
cites work: The decidability of Craig's interpolation property in well-composed J-logics
cites work: Interpolation and the projective Beth property in well-composed logics
cites work: The projective Beth property in well-composed logics
cites work: Recognizable logics
cites work: Logic of classical refutability and class of extensions of minimal logic
cites work: Constructive negations and paraconsistency
cites work: Q4175531
cites work: Q5465446
cites work: Decidability of the weak interpolation property over the minimal logic
cites work: Problem of restricted interpolation in superintuitionistic and some modal logics
cites work: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
cites work: Q4451641
cites work: Intuitionistic logic and implicit definability
cites work: Layers over minimal logic
cites work: Pretabular superintuitionistic logic
cites work: Q3022776
cites work: Interpolation over the minimal logic and Odintsov intervals
cites work: Negative equivalence over the minimal logic and interpolation
cites work: Q5628181
Wikidata QID: Q127447361
DOI: 10.1007/S10469-019-09533-3
Recommended article: Interpolation in infinitely layered extensions of provability logic
Recommended article: Q4729756
Recommended article: Interpolation theorems for intuitionistic predicate logic
Recommended article: Interpolation in extensions of first-order logic
Recommended article: On Interpolation in Existence Logics
Recommended article: Interpolation and implicit definability in extensions of the provability logic
Recommended article: Extensions of the minimal logic and the interpolation problem
Recommended article: Interpolation in fragments of intuitionistic propositional logic
Recommended article: Interpolation and Definability in Extensions of the Minimal Logic
Recommended article: Interpolation properties for Sacchetti's logics
description: scientific article; zbMATH DE number 7140978