On some classes of Heyting algebras with successor that have the amalgamation property

DOI10.1007/s11225-012-9451-6zbMath1408.06003OpenAlexW2070893208MaRDI QIDQ1935558

José Luis Castiglioni, Hernán J. San Martín

Publication date: 18 February 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9451-6

zbMATH Keywords

amalgamation propertyHeyting algebras with operatorsCraig's interpolation theoremextensions of intuitionistic propositional calculus

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

On products of posets and coproducts of KM-algebras ⋮ On prelinear Hilbert algebras with successor ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra

Cites Work

• Profinite completions and canonical extensions of Heyting algebras
• Interpolation in non-classical logics
• An algebraic approach to non-classical logics
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• An algebraic approach to intuitionistic connectives
• Sur l'extension aux relations de quelques propriétés des ordres
• Bounded lattice expansions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On some classes of Heyting algebras with successor that have the amalgamation property