The following pages link to (Q4652057):
Displayed 17 items.
- Funayama's theorem revisited (Q387628) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Profinite Heyting algebras (Q953270) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- \( \mathcal{Z} \)-quasidistributive and \(\mathcal{Z} \)-meet-distributive posets (Q2183100) (← links)
- Hypercontinuous posets. (Q2340484) (← links)
- Frink quasicontinuous posets (Q2361713) (← links)
- Hulls of ordered algebras: projectability, strong projectability and lateral completeness (Q2397563) (← links)
- The upper topology and interval topology on quasi-hypercontinuous posets (Q2405097) (← links)
- A completion-invariant extension of the concept of meet continuous lattices (Q2971119) (← links)
- Completions of Basic Algebras (Q3638276) (← links)
- A completion-invariant extension of the concept of quasi C-continuous lattices (Q5156294) (← links)