On some classes of Heyting algebras with successor that have the amalgamation property
type: Item
instance of: scholarly article
title: On some classes of Heyting algebras with successor that have the amalgamation property
zbMATH Open document ID: 1408.06003
author: J. L. Castiglioni
author: Hernán J. San Martín
published in: Studia Logica
publication date: 2013-02-18T00:00:00Z
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 6136996
zbMATH Keywords: amalgamation property
zbMATH Keywords: Craig's interpolation theorem
zbMATH Keywords: Heyting algebras with operators
zbMATH Keywords: extensions of intuitionistic propositional calculus
MaRDI profile type: Publication
full work available at URL: s11225-012-9451-6
OpenAlex ID: W2070893208
cites work: Bounded lattice expansions
cites work: Q4313857
cites work: AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
cites work: Profinite completions and canonical extensions of Heyting algebras
cites work: An algebraic approach to intuitionistic connectives
cites work: Q3086535
cites work: Q3086536
cites work: Interpolation in non-classical logics
cites work: Q4049062
cites work: The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
cites work: Q5582318
cites work: Sur l'extension aux relations de quelques propriétés des ordres
cites work: Q3743301
cites work: Q4187817
cites work: An algebraic approach to non-classical logics
cites work: Q5734410
DOI: 10.1007/S11225-012-9451-6
description: scientific article; zbMATH DE number 6136996