Joint consistency in extensions of the minimal logic
type: Item
instance of: scholarly article
title: Joint consistency in extensions of the minimal logic
zbMATH Open document ID: 1208.03031
published in: Siberian Mathematical Journal
publication date: 2010-11-15T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 5816263
zbMATH Keywords: minimal logic
zbMATH Keywords: interpolation
zbMATH Keywords: joint consistency
author: L. L. Maksimova
MaRDI profile type: Publication
full work available at URL: s11202-010-0050-3
OpenAlex ID: W2061812000
cites work: Q3240238
cites work: Q3714043
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: Q4187817
cites work: Q4451641
cites work: Interpolation and Definability in Extensions of the Minimal Logic
cites work: Constructive negations and paraconsistency
cites work: Q5734410
cites work: Intuitionistic logic and implicit definability
cites work: A weak form of interpolation in equational logic
cites work: Logic of classical refutability and class of extensions of minimal logic
DOI: 10.1007/S11202-010-0050-3
description: scientific article; zbMATH DE number 5816263