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

DOI10.1007/S11225-012-9451-6zbMATH Open1408.06003OpenAlexW2070893208MaRDI QIDQ1935558FDOQ1935558

Hernán J. San Martín, J. L. Castiglioni

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

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

Cites Work

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

Cited In (4)

• The class of polyadic algebras has the super amalgamation property
• On prelinear Hilbert algebras with successor
• On the free frontal implicative semilattice extension of a frontal Hilbert algebra
• On products of posets and coproducts of KM-algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935558)