Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
type: Item
instance of: scholarly article
title: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
zbMATH Open document ID: 0413.03018
DOI: 10.1007/BF01670006
published in: Algebra and Logic
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03G10
zbMATH DE Number: 3641418
zbMATH Keywords: superintuitionistic logics
zbMATH Keywords: amalgamable varieties of pseudo-Boolean algebras
zbMATH Keywords: Craig's interpolation theorem
zbMATH Keywords: decision problem
author: L. L. Maksimova
MaRDI profile type: Publication
cites work: Q5734410
cites work: Amalgamation properties and interpolation theorems for equational theories
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: A propositional calculus with denumerable matrix
cites work: Q5641128
cites work: The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
cites work: The amalgamation property in equational classes of modular lattices
cites work: Q5532530
cites work: Amalgamation, congruence-extension, and interpolation properties in algebras
cites work: Base-undecidable properties of universal varieties
cites work: Q5654015
cites work: Q4110980
cites work: Der Interpolationssatz der intuitionistischen Prädikatenlogik
description: scientific article; zbMATH DE number 3641418