Publication:4652057
From MaRDI portal
zbMath1066.06005MaRDI QIDQ4652057
John Harding, Guram Bezhanishvili
Publication date: 24 February 2005
06D20: Heyting algebras (lattice-theoretic aspects)
06E15: Stone spaces (Boolean spaces) and related structures
03B55: Intermediate logics
Related Items
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, Profinite Heyting algebras, Comparison of MacNeille, canonical, and profinite completions, Hypercontinuous posets., Completions of Basic Algebras