Extensions of the minimal logic and the interpolation problem
type: Item
instance of: scholarly article
title: Extensions of the minimal logic and the interpolation problem
zbMATH Open document ID: 1469.03078
DOI: 10.1134/S0037446618040109
published in: Siberian Mathematical Journal
publication date: 2018-11-13T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 6976645
zbMATH Keywords: interpolation
zbMATH Keywords: minimal logic
zbMATH Keywords: Johansson algebra
zbMATH Keywords: recognizable logic
author: L. L. Maksimova
author: Veta Fedorovna Yun
MaRDI profile type: Publication
cites work: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
cites work: Interpolation and the projective Beth property in well-composed logics
cites work: The decidability of Craig's interpolation property in well-composed J-logics
cites work: Decidability of the weak interpolation property over the minimal logic
cites work: Logic of classical refutability and class of extensions of minimal logic
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Q4175531
cites work: Q5465446
cites work: Joint consistency in extensions of the minimal logic
cites work: Q4451641
cites work: Intuitionistic logic and implicit definability
cites work: Problem of restricted interpolation in superintuitionistic and some modal logics
cites work: Interpolation and definability over the logic Gl
cites work: A method of proving interpolation in paraconsistent extensions of the minimal logic
cites work: Negative equivalence over the minimal logic and interpolation
cites work: Interpolation over the minimal logic and Odintsov intervals
cites work: The projective Beth property in well-composed logics
cites work: WIP-minimal logics and interpolation
cites work: Q3022776
cites work: Q3858239
cites work: Q5682023
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Constructive negations and paraconsistency
cites work: Interpolation and Definability in Extensions of the Minimal Logic
cites work: Q4424644
cites work: Recognizable logics
cites work: Recognizability of all WIP-minimal logics
Recommended article: Interpolation and Definability in Extensions of the Minimal Logic
Recommended article: On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
Recommended article: Q3001102
Recommended article: A method of proving interpolation in paraconsistent extensions of the minimal logic
Recommended article: Q4440575
Recommended article: Q5419894
Recommended article: Interpolation and implicit definability in extensions of the provability logic
Recommended article: Interpolation over the minimal logic and Odintsov intervals
Recommended article: On Interpolation in Existence Logics
Recommended article: Interpolation in extensions of first-order logic
description: scientific article; zbMATH DE number 6976645