MacNeille completions of lattice expansions

DOI10.1007/S00012-007-2033-1MaRDI QIDQ2474096zbMATH OpenOpenAlexFDO

Authors M. Theunissen, Yde Venema

Publication date 5 March 2008

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-007-2033-1

zbMATH Keywords

lattice expansionslattice-ordered algebrasMacNeille completionsmodal algebrasorder topologyortholatticespreservation resultsresiduationSahlqvist theory

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Complete lattices, completions (06B23) Topological lattices (06B30) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• A monadic approach to the McNeille completion of a lattice
• MacNeille completions and canonical extensions
• MacNeille completions of FL-algebras
• On the MacNeille Completion of Weakly Dicomplemented Lattices
• MacNeille completions of modal algebras

Cited in

(22)

• Canonical extensions and relational representations of lattices with negation
• MacNeille completion and profinite completion can coincide on finitely generated modal algebras
• A monadic approach to the McNeille completion of a lattice
• The order topology on a lattice and its MacNeille completion
• Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
• MacNeille transferability and stable classes of Heyting algebras
• Definable operators on stable set lattices
• Residuated structures and orthomodular lattices
• Hyper-MacNeille completions of Heyting algebras
• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• Modal MTL-algebras
• STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES
• On the MacNeille Completion of Weakly Dicomplemented Lattices
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
• MacNeille completions and canonical extensions
• Grishin algebras and cover systems for classical bilinear logic
• MacNeille completions of FL-algebras
• Atomic Boolean lattice completions of ordered sets
• Polynomial-time equational theory for lattices with unary operators
• Algebraic proof theory: hypersequents and hypercompletions

This page was built for publication: MacNeille completions of lattice expansions

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