scientific article; zbMATH DE number 2138212
From MaRDI portal
Publication:4652057
zbMath1066.06005MaRDI QIDQ4652057
Guram Bezhanishvili, John Harding
Publication date: 24 February 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Intermediate logics (03B55)
Related Items
Frink quasicontinuous posets, A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras, Hulls of ordered algebras: projectability, strong projectability and lateral completeness, The upper topology and interval topology on quasi-hypercontinuous posets, Funayama's theorem revisited, \( \mathcal{Z} \)-quasidistributive and \(\mathcal{Z} \)-meet-distributive posets, Algebraic proof theory for substructural logics: cut-elimination and completions, B-frame duality, A completion-invariant extension of the concept of meet continuous lattices, Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, MacNeille completions of FL-algebras, A completion-invariant extension of the concept of quasi C-continuous lattices, Profinite Heyting algebras, MacNeille transferability and stable classes of Heyting algebras, Algebraic proof theory: hypersequents and hypercompletions, MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, Comparison of MacNeille, canonical, and profinite completions, Completions of Basic Algebras, Hyper-MacNeille completions of Heyting algebras, Hypercontinuous posets.
