MacNeille transferability and stable classes of Heyting algebras

DOI10.1007/S00012-018-0534-8MaRDI QIDQ1991585zbMATH OpenOpenAlexFDO

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

Publication date 30 October 2018

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

distributive latticeHeyting algebraMacNeille completiontransferability

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2138212
• Relative projectivity and transferability for partial lattices
• Hyper-MacNeille completions of Heyting algebras
• scientific article; zbMATH DE number 411708
• MacNeille completions of lattice expansions

Cites work

• Bounded lattice expansions
• Cofinal stable logics
• Completeness of S4 with respect to the real line: revisited
• Distributive Sublattices of a Free Lattice
• From a lattice to its ideal lattice
• scientific article; zbMATH DE number 411708 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3777562 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 2138212 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Intermediate logics admitting a structural hypersequent calculus
• Lattice Theory: Foundation
• Leo Esakia on duality in modal and intuitionistic logics
• Locally finite reducts of Heyting algebras and canonical formulas
• MacNeille completions and canonical extensions
• MacNeille completions of FL-algebras
• Model theory.
• On the relation of a distributive lattice to its lattice of ideals
• Projective distributive lattices
• Projective lattices and bounded homomorphisms
• Relative projectivity and transferability for partial lattices
• The category of semilattices
• The embedding of a distributive lattice into its ideal lattice is pure

Cited in

(2)

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

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

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