Sentential logics and Maehara interpolation property
type: Item
instance of: scholarly article
title: Sentential logics and Maehara interpolation property
zbMATH Open document ID: 0593.03012
DOI: 10.1007/BF00394446
author: Janusz Czelakowski
published in: Studia Logica
publication date: 1985-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 3952724
zbMATH Keywords: relations between syntactical and semantical properties of
zbMATH Keywords: sentential logics
zbMATH Keywords: amalgamation
zbMATH Keywords: filter-extension
zbMATH Keywords: relations between syntactical and semantical properties of sentential logics
MaRDI profile type: Publication
cites work: Equivalential logics. I
cites work: Logical matrices and the amalgamation property
cites work: Matrices, primitive satisfaction and finitely based logics
cites work: Algebraic aspects of deduction theorems
cites work: Q5736158
cites work: Amalgamation, congruence-extension, and interpolation properties in algebras
cites work: An algebraic approach to non-classical logics
cites work: Deducibility and many-valuedness
Recommended article: Interpolation properties for Sacchetti's logics
Recommended article: Interpolation property and superintuitionistic predicate logics
Recommended article: On the interpolation property of some intuitionistic modal logics
Recommended article: Interpolation theorems for intuitionistic predicate logic
Recommended article: Q2998377
Recommended article: Intermediate logics and the de Jongh property
Recommended article: Q3331199
Recommended article: Q3022776
Recommended article: Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
Recommended article: Q5416154
description: scientific article; zbMATH DE number 3952724