The decidability of Craig's interpolation property in well-composed J-logics
type: Item
instance of: scholarly article
title: The decidability of Craig's interpolation property in well-composed J-logics
zbMATH Open document ID: 1285.03030
DOI: 10.1134/S0037446612050096
published in: Siberian Mathematical Journal
publication date: 2013-01-31T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 6133178
zbMATH Keywords: interpolation
zbMATH Keywords: minimal logic
zbMATH Keywords: well-composed logic
author: L. L. Maksimova
MaRDI profile type: Publication
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Q3022776
cites work: Der Interpolationssatz der intuitionistischen Prädikatenlogik
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: Q5824680
cites work: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
cites work: Intuitionistic logic and implicit definability
cites work: Q4532125
cites work: Problem of restricted interpolation in superintuitionistic and some modal logics
cites work: The Projective Beth Property and Interpolation in Positive and Related Logics
cites work: Decidability of the weak interpolation property over the minimal logic
cites work: Joint consistency in extensions of the minimal logic
cites work: Interpolation and definability over the logic Gl
cites work: Interpolation and Definability in Extensions of the Minimal Logic
cites work: Interpolation and the projective Beth property in well-composed logics
cites work: Q4936636
cites work: Q5465446
cites work: Logic of classical refutability and class of extensions of minimal logic
cites work: A Remark on the Intersection of Tow Logics
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: The decidability of certain intermediate propositional logics
cites work: Q4664638
cites work: A weak form of interpolation in equational logic
Recommended article: Q4501162
Recommended article: Interpolational Craig property in logics of proofs with strong provability operator
Recommended article: Craig interpolation property for operational logics of proofs
Recommended article: Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
Recommended article: The Craig interpolation theorem for propositional logics with strong negation
Recommended article: Q3784046
Recommended article: Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
Recommended article: Interpolation and the projective Beth property in well-composed logics
Recommended article: Decidability of the weak interpolation property over the minimal logic
description: scientific article; zbMATH DE number 6133178