MacNeille transferability and stable classes of Heyting algebras

DOI10.1007/s00012-018-0534-8zbMath1472.06009OpenAlexW2879850305MaRDI QIDQ1991585

Guram Bezhanishvili, Julia Ilin, Frederik Möllerström Lauridsen, John Harding

Publication date: 30 October 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0534-8

zbMATH Keywords

MacNeille completiondistributive latticeHeyting algebratransferability

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20)

Related Items (2)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Hyper-MacNeille completions of Heyting algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Locally finite reducts of Heyting algebras and canonical formulas
• Cofinal stable logics
• MacNeille completions of FL-algebras
• Completeness of S4 with respect to the real line: revisited
• Model theory.
• The embedding of a distributive lattice into its ideal lattice is pure
• From a lattice to its ideal lattice
• Relative projectivity and transferability for partial lattices
• Intermediate logics admitting a structural hypersequent calculus
• Leo Esakia on duality in modal and intuitionistic logics
• Projective distributive lattices
• The category of semilattices
• Projective lattices and bounded homomorphisms
• Lattice Theory: Foundation
• Distributive Sublattices of a Free Lattice
• On the relation of a distributive lattice to its lattice of ideals
• MacNeille completions and canonical extensions
• Bounded lattice expansions

This page was built for publication: MacNeille transferability and stable classes of Heyting algebras