Publication:4652057
From MaRDI portal
zbMath1066.06005MaRDI QIDQ4652057
Guram Bezhanishvili, John Harding
Publication date: 24 February 2005
06D20: Heyting algebras (lattice-theoretic aspects)
06E15: Stone spaces (Boolean spaces) and related structures
03B55: Intermediate logics
Related Items
A completion-invariant extension of the concept of quasi C-continuous lattices, Funayama's theorem revisited, Algebraic proof theory for substructural logics: cut-elimination and completions, Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, MacNeille completions of FL-algebras, Algebraic proof theory: hypersequents and hypercompletions, Profinite Heyting algebras, Comparison of MacNeille, canonical, and profinite completions, MacNeille transferability and stable classes of Heyting algebras, Hyper-MacNeille completions of Heyting algebras, \( \mathcal{Z} \)-quasidistributive and \(\mathcal{Z} \)-meet-distributive posets, Hypercontinuous posets., Frink quasicontinuous posets, Hulls of ordered algebras: projectability, strong projectability and lateral completeness, The upper topology and interval topology on quasi-hypercontinuous posets, A completion-invariant extension of the concept of meet continuous lattices, Completions of Basic Algebras